A categorical model for the geometry of interaction

Theoretical Computer Science

Volumn 350, Issue 2-3, 2006, Pages 252-274

  Haghverdi, Esfandiar ^a   Scott, Philip ^b  

^a INDIANA UNIVERSITY   (United States)

^b UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Geometry of interaction; Linear logic; Partially additive categories; Traced monoidal categories; Unique decomposition categories

Indexed keywords

COMPUTER PROGRAMMING; LINEAR ALGEBRA; NUMERICAL ANALYSIS; SEMANTICS;

GEOMETRY OF INTERACTION; LINEAR LOGIC; PARTIALLY ADDITIVE CATEGORIES; TRACED MONOIDAL CATEGORIES; UNIQUE DECOMPOSITION CATEGORIES;

COMPUTATIONAL GEOMETRY;

EID: 30844455539     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.10.028     Document Type: Conference Paper

References (29)

1. S. Abramsky, Retracing some paths in process algebra, in: CONCUR 96, Lecture Notes in Computer Science, Vol. 1119, Springer, Berlin, 1996, pp. 1-17.
2. S. Abramsky, Interaction, Combinators and Complexity, Lecture Notes, Siena, Italy, 1997.
3. S. Abramsky, E. Haghverdi, and P.J. Scott Geometry of interaction and linear combinatory algebras Math. Struct. Comput. Sci. 12 5 2002 625 665
4. S. Abramsky, and R. Jagadeesan New foundations for the geometry of interaction Inform. and Comput. 111 1 1994 53 119
5. S. Abramsky, M. Lenisa, A fully-complete PER model for ML polymorphic types, CSL'2000, Lecture Notes in Computer Science, Vol. 1862, Springer, Berlin, 2000, pp. 140-155.
6. M. Barr Algebraically compact functors J. Pure Appl. Algebra 82 1992 211 231
7. V. Danos, La logique linéaire appliquée à l'étude de divers processus de normalisation et principalement du λ -calcul, Ph.D. Thesis, Université Paris VII, 1990.
8. V. Danos, L. Regnier, Proof-nets and the Hilbert space, in: Advances in Linear Logic, London Mathematical Society Notes, Vol. 222, Cambridge University Press, Cambridge, 1995, pp. 307-328.
9. J.-Y. Girard, Geometry of interaction II: deadlock-free algorithms, in: Proc. COLOG'88, Lecture Notes in Computer Science, Vol. 417, Springer, Berlin, 1988, pp. 76-93.
10. J.-Y. Girard Towards a geometry of interaction Contemp. Math. 92 1989 69 108
11. J.-Y. Girard, Geometry of interaction I: interpretation of system F, in: Proc. Logic Colloq., Vol. 88, North-Holland, Amsterdam, 1989, pp. 221-260.
12. J.-Y. Girard, Geometry of interaction III: accommodating the additives, in: Advances in Linear Logic, Lecture Notes in Computer Science, Vol. 222, Cambridge University Press, Cambridge, 1995, pp. 329-389.
13. E. Haghverdi, A categorical approach to linear logic, geometry of proofs and full completeness, Ph.D. Thesis, University of Ottawa, Canada, 2000.
14. E. Haghverdi Unique decomposition categories, geometry of interaction and combinatory logic Math. Struct. Comput. Sci. 10 2000 205 231
15. E. Haghverdi, Partially additive categories and fully complete models of linear logic, TLCA'01, Lecture Notes in Computer Science, Vol. 2044, Springer, Berlin, 2001, pp. 197-216.
16. M. Hasegawa, Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculus, Lecture Notes in Computer Science, Vol. 1210, Springer, Berlin, 1997, pp. 196-213.
17. T. Hildebrandt, P. Panangaden, and G. Winskel A relational model of nondeterministic dataflow Math. Struct. Comput. Sci. 14 2004 613 649
18. P. Hines A categorical framework for finite state machines Math. Struct. Comput. Sci. 13 2003 451 480
19. F. Honsell, M. Lenisa, Wave-style geometry of interaction models in Rel are graph-like lambda models, in: M.S. Berardi, M. Coppo, F. Damiani (Eds.), TYPES'2003 Conference Proceedings, Lecture Notes in Computer Science, Vol. 3085, Springer, Berlin, 2004.
20. M. Hyland, and A. Schalk Glueing and orthogonality for models of linear logic Theoret. Comput. Sci. 294 2003 183 231
21. A. Joyal, and R. Street The geometry of tensor calculus I Adv. Math. 88 1991 55 113
22. A. Joyal, R. Street, and D. Verity Traced monoidal categories Math. Proc. Cambridge Philos. Soc. 119 1996 447 468
23. R.V. Kadison, J.R. Ringrose, Fundamentals of the Theory of Operator Algebras, Graduate Studies in Mathematics, Vol. 15, American Mathematical Society Publications, Providence, RI, 1997.
24. P. Malacaria L. Regnier, Some results on the interpretation of λ -calculus in operator algebras, in: Proc. Sixth LICS, IEEE Computer Society Press, Silver Spring, MD, 1991, pp. 63-72.
25. E.G. Manes, and M.A. Arbib Algebraic Approaches to Program Semantics 1986 Springer Berlin
26. M.A. Nielsen, and I.L. Chuang Quantum Computation and Quantum Information 2000 Cambridge University Press Cambridge
27. L. Regnier, Lambda-calcul et Réseaux, Ph.D. Thesis, Université Paris VII, 1992.
28. P. Selinger, Categorical structure of asynchrony, Electronic Notes in Theoretical Computer Science, Vol. 20, Elsevier, Amsterdam, 1999.
29. G. Stefanescu Network Algebra 2000 Springer Berlin