Polarized category theory, modules, and game semantics

Theory and Applications of Categories

Volumn 18, Issue , 2007, Pages 4-101

  Cockett, J R B ^a   Seely, R A G ^b  

^a UNIVERSITY OF CALGARY   (Canada)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

Game semantics; Polarized categories; Polarized linear logic; Theory of communication

Indexed keywords

EID: 33846504960     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (29)

1. S. Abramsky "Semantics of interaction: an introduction to game semantics", in [PD97] 1-31.
2. S. Abramsky and R. Jagadeesan "Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract)". Proceedings, Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1992), 291-301.
3. J.-M. Andreoli and R. Maieli "Focussing and proof nets in linear and noncommutative logic". 6th Conference on Logic in Programming and Automated Reasoning (LPAR), Tbilisi, Republic of Georgia, 1999.
4. G.M. Bierman "What is a categorical model of intuitionistic linear logic?", in M. Dezani (editor), Proceedings of Conference on Typed lambda calculus and Applications, Springer-Verlag, 1995.
5. A. Blass "Is Game Semantics Necessary?" Computer Science Logic: 7th Workshop, CSL '93, Springer Lecture Notes in Computer Science 832 (ed. E. Boerger, Y. Gurevich, and K. Meinke), 66-77.
6. R.F. Blute, J.R.B. Cockett, R.A.G. Seely, and T.H. Trimble "Natural deduction and coherence for weakly distributive categories", Journal of Pure and Applied Algebra 113 (1996) 229-296.
7. R. Blute, J.R.B. Cockett, and R.A.G. Seely " ! and ? : Storage as tensorial strength", Mathematical Structures in Computer Science 6 (1996) 313-351.
8. J.R.B. Cockett "Introduction to distributive categories", Mathematical Structures in Computer Science 3 (1993) 277-307.
9. J.R.B. Cockett "Game theory revisited: categorical proof theories for games". Talk given at the A.M.S. meeting, Toronto, September 2000. Notices of the A.M.S. 47 No.10, November 2000.
10. J.R.B. Cockett "Introduction to polarized games". Tutorial given at C.T.C.S., Ottawa, June 2002.
11. J.R.B. Cockett "Games as polarized categorical proof theory". Talk given at the C.M.S. Summer meeting, Québec, June 2002. 〈http://www.cms.math.ca/Events/summer02/abs/〉.
12. J.R.B. Cockett, J. Koslowski, and R.A.G. Seely "Morphisms and modules for poly-bicategories", Theory and Applications of Categories 11 (2003) 15-74.
13. J.R.B. Cockett and R.A.G. Seely "Weakly distributive categories", Journal of Pure and Applied Algebra 114 (1997) 133-173. (An updated version is available at 〈http://www.math.mcgill.ca/rags〉.)
14. J.R.B. Cockett and R.A.G. Seely "Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories", Theory and Applications of Categories 3 (1997) 85-131.
15. J.R.B. Cockett and R.A.G. Seely "Linearly distributive functors", Journal of Pure and Applied Algebra 143 (1999) 155-203.
16. J.R.B. Cockett and R.A.G. Seely "Finite sum - product logic", Theory and Applications of Categories 8 (2001) 63-99.
17. P.-L. Curien Categorical combinators, sequential algorithms, and functional programming. Birkhauser, 2nd ed. 1993.
18. J.-Y. Girard "Locus Solum", Mathematical Structures in Computer Science 11 (2001) No. 3, 301-506.
19. A. Joyal "Free bicompletion of enriched categories", Math. Reports XVII, Acad. Sci. Canada (1995) 213-218.
20. M. Hamano and P.J. Scott "A categorical semantics for polarized MALL", Annals of Pure and Applied Logic 145 (2007) 276-313.
21. C. Hermida "Representable multicategories". Advances in Mathematics 151 (2000) 164-225.
22. M. Hyland "Game semantics" in [PD97] 131-182.
23. M. Hyland and A. Schalk "Glueing and orthogonality for models of linear logic", Theoretical Computer Science 294 (2003) (1/2) 183-231.
24. G.M. Kelly Basic Concepts of Enriched Category Theory. London Mathematical Society Lecture Notes Series 64, Cambridge University Press, 1982.
25. O. Laurent "Polarized games", Seventeenth annual IEEE symposium on Logic In Computer Science (LICS '02), 265-274.
26. C. Pastro "∑∏-polycategories, additive linear logic, and process semantics", MSc Thesis, University of Calgary, submitted 2003.
27. A. Pitts and P. Dybjer, eds. Semantics and logics of computation. Publications of the Newton Institute, Cambridge University Press, 1997.
28. S. Schanuel and R. Street "The free adjunction", Cahiers de Topologie et Géométric Différentielle Catégoriques, 27 81-83.
29. R.A.G. Seely "Linear logic, *-autonomous categories and cofree coalgebras", in J. Gray and A. Scedrov (editors.), Categories in Computer Science and Logic. Contemporary Mathematics 92, Am. Math. Soc. 1989.