A categorical model for the geometry of interaction Export

@article{citeulike:1533314, abstract = {We consider the multiplicative and exponential fragment of linear logic (MELL) and give a geometry of interaction (GoI) semantics for it based on unique decomposition categories. We prove a soundness and finiteness theorem for this interpretation. We show that Girard's original approach to GoI 1 via operator algebras is exactly captured in this categorical framework.}, address = {Essex, UK}, author = {Haghverdi, Esfandiar and Scott, Philip}, citeulike-article-id = {1533314}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1140683}, citeulike-linkout-1 = {http://dx.doi.org/10.1016/j.tcs.2005.10.028}, citeulike-linkout-2 = {http://www.site.uottawa.ca/~phil/papers/HS-TCS-04.pdf}, doi = {10.1016/j.tcs.2005.10.028}, issn = {0304-3975}, journal = {Theor. Comput. Sci.}, keywords = {category\_theory, geometry\_of\_interaction}, month = {February}, number = {2}, pages = {252--274}, posted-at = {2009-10-31 01:57:49}, priority = {3}, publisher = {Elsevier Science Publishers Ltd.}, title = {A categorical model for the geometry of interaction}, url = {http://dx.doi.org/10.1016/j.tcs.2005.10.028}, volume = {350}, year = {2006} }

TY - JOUR ID - citeulike:1533314 L3 - citeulike-article-id:1533314 N2 - We consider the multiplicative and exponential fragment of linear logic (MELL) and give a geometry of interaction (GoI) semantics for it based on unique decomposition categories. We prove a soundness and finiteness theorem for this interpretation. We show that Girard's original approach to GoI 1 via operator algebras is exactly captured in this categorical framework. IS - 2 JF - Theor. Comput. Sci. SN - 0304-3975 AD - Essex, UK EP - 274 TI - A categorical model for the geometry of interaction PB - Elsevier Science Publishers Ltd. VL - 350 SP - 252 KW - category_theory KW - geometry_of_interaction AU - Haghverdi, Esfandiar AU - Scott, Philip PY - 2006/02// UR - http://dx.doi.org/10.1016/j.tcs.2005.10.028 ER -