Categories for computation in context and unified logic

Journal of Pure and Applied Algebra

Volumn 116, Issue 1-3, 1997, Pages 49-98

  Blute, R F ^a   Cockett, J R B ^b   Seely, R A G ^c  

^a UNIVERSITY OF OTTAWA   (Canada)

^b UNIVERSITY OF CALGARY   (Canada)

^c MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031588890     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(96)00162-4     Document Type: Article

References (20)

1. [1] P.N. Benton, A mixed linear and non-linear logic: proofs, terms and models (Preliminary Report), Technical Report 352, University of Cambridge, Computer Laboratory, 1994.
2. [2] P.N. Benton, G. Bierman, V. de Paiva and M. Hyland, Term assignment for intuitionistic linear logic, in: M. Bezem and J.F. Groote, Eds., Proc. Internat. Conf. on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, Vol. 664 (Springer, Berlin, 1992) 75-90.
3. [3] G.M. Bierman, What is a categorical model of intuitionistic linear logic?, in: M. Dezani, Ed., Proc. Conf. on Typed lambda calculus and Applications (Springer, Berlin, 1995); Also: Tech. Report 333, University of Cambridge, 1994.
4. [4] R.F. Blute, Linear logic, coherence and dinaturality, Theoret. Comput. Sci. 115 (1992) 3-42.
5. [5] R.F. Blute, J.R.B. Cockett, R.A.G. Seely and T.H. Trimble, Natural deduction and coherence for weakly distributive categories, J. Pure Appl. Algebra 113 (1996) 229-296.
6. [6] R.F. Blute, J.R.B. Cockett and R.A.G. Seely, ! and ?: Storage as tensorial strength, Math. Struct. Comput. Sci. 6 (1996) 313-351.
7. [7] F. Borceux, Handbook of Categorical Algebra (Cambridge University Press, Cambridge, 1994).
8. [8] J. Cartmell, Generalized algebraic theories and contextual categories, Ann. Pure Appl. Logic 32 (1986) 209-243.
9. [9] J.R.B. Cockett and R.A.G. Seely, Weakly distributive categories, in: M.P. Fourman, P.T. Johnstone and A.M. Pitts, Eds., Applications of Categories to Computer Science, London Mathematical Society Lecture Note Series, Vol. 177 (1992) 45-65; Expanded version: J. Pure Appl. Algebra: 114 (1997) 133-173.
10. [9] J.R.B. Cockett and R.A.G. Seely, Weakly distributive categories, in: M.P. Fourman, P.T. Johnstone and A.M. Pitts, Eds., Applications of Categories to Computer Science, London Mathematical Society Lecture Note Series, Vol. 177 (1992) 45-65; Expanded version: J. Pure Appl. Algebra: 114 (1997) 133-173.
11. [10] J.R.B. Cockett and R.A.G. Seely, Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories, Preprint, McGill University, 1996.
12. [11] J.R.B. Cockett and D.L. Spencer, Strong categorical datatypes I, in: R.A.G. Seely, Ed., Category Theory 1991, Montreal, CMS Conf. Proc. 13 (1991) 141-169.
13. [12] J.-Y. Girard, On the unity of logic, Ann. Pure Appl. Logic 59 (1993) 201-217.
14. [13] J. Lambek and P.J. Scott, Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, Vol. 7 (Cambridge Univ. Press, Cambridge, 1986).
15. [14] R. Milner, Action calculi, or concrete action structures, Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Vol. 711 (Springer, Berlin, 1993) 105-121.
16. [15] E. Moggi, Computational lambda calculus and monads, Proc. IEEE Symp. on Logic in Computer Science, 4th Annual (1989).
17. [16] R. Paré, and L. Román, Monoidal categories with natural numbers object, Studia Logica XLVIII (1989) 361-376.
18. [17] D. Pavlović, Categorical logic of names and abstraction in action calculi, Math. Struct. Comput. Sci., to appear.
19. [18] A.J. Power and E.P. Robinson, Premonoidal categories and notions of computation, Preprint, 1996.
20. [19] R.A.G. Seely, Linear logic, *-autonomous categories and cofree coalgebras, in: J. Gray and A. Scedrov, Eds., Categories in Computer Science and Logic, Contemporary Mathematics, Vol. 92 (Amer. Math. Soc., Providence, RI, 1989).