Linearly distributive functors

Journal of Pure and Applied Algebra

Volumn 143, Issue 1-3, 1999, Pages 155-203

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

^a UNIVERSITY OF CALGARY   (Canada)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033544201     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(98)00110-8     Document Type: Article

References (15)

1. M. Barr, Non-symmetric *-autonomous categories, Theoret. Comput. Sci. 139 (1995) 115-130.
2. 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: Technical Report 333, University of Cambridge, 1994.)
3. R.F. Blute, J.R.B. Cockett, R.A.G. Seely, ! and ?: Storage as tensorial strength, Math. Struct. Comput. Sci. 6 (1996) 313-351.
4. R.F. Blute, J.R.B. Cockett, R.A.G. Seely, T.H. Trimble, Natural deduction and coherence for weakly distributive categories, J. Pure Appl. Algebra 113 (1996) 229-296.
5. J.R.B. Cockett, R.A.G. Seely, Weakly distributive categories, in: M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.), Applications of Categories to Computer Science, London Mathematical Society Lecture Note Series, vol. 177, 1992, pp. 45-65.
6. ~rags.)
7. J.R.B. Cockett, R.A.G. Seely, Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories, Theory Appl. Categories 3 (1997) 85-131.
8. J.-Y. Girard Light Linear Logic, preprint, 1995 (revised 1997). URL: ftp://lmd.univ-mrs.fr/pub/girard/LLL.ps.Z.
9. D.A. Higgs, K.A. Rowe, Nuclearity in the category of complete semilattices, J. Pure Appl. Algebra 57 (1989) 67-78.
10. H. Hu, A. Joyal, Coherence completions of categories, in: S. Brookes, M. Mislove (Eds.), Proc. Mathematical Foundations of Programming Semantics, 13th Annual Conf, Electronic Notes in Theoretical Computer Science, vol. 6, 1997. URL: http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume6.htm.
11. M. Hyland, V. de Paiva, Full intuitionistic linear logic (Extended Abstract), Ann. Pure Appl. Logic 64 (3) (1993) 273-291.
12. M. Kanovich, M. Okada, A. Scedrov, Phase semantics for light linear logic, in: S. Brookes, M. Mislove (Eds.), Proc. Mathematical Foundations of Programming Semantics, 13th Ann. Conf., Electronic Notes in Theoretical Computer Science, vol. 6, 1997. URL: http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume6.htm.
13. J. Lambek, P.J. Scott, Introduction to higher-order categorical logic, Cambridge Studies in Advanced Mathematics, vol. 7, Cambridge University Press, Cambridge, 1986.
14. K.A. Rowe, Nuclearity, Can. Math. Bull. 31 (1988) 227-235.
15. R.A.G. Seely, Linear logic, *-autonomous categories and cofree coalgebras, in: J. Gray, A. Scedrov (Eds.), Categories in Computer Science and Logic, Contemporary Mathematics, vol. 92, Am. Math. Soc., Providence, RI, 1989.