! And ? - Storage as tensorial strength

Mathematical Structures in Computer Science

Volumn 6, Issue 4, 1996, Pages 313-351

  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

DE MORGAN; EXPONENTIALS; FREE STRUCTURES; LINEAR LOGIC; MULTIPLICATIVE LINEAR LOGIC;

LINEAR ALGEBRA;

EID: 0001580148     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129500001055     Document Type: Article

References (19)

1. Barr, M. (1991) ∗-Autonomous categories and linear logic. Math. Struct, in Comp. Science 1 159-178.
2. Benton, B. N., Bierman,G., de Paiva, V. and Hyland, M. (1992) Term assignment for intuitionistic linear logic (preliminary report). Technical Report 262, University of Cambridge.
3. Bierman, G. M. (1995) What is a categorical model of intuitionistic linear logic?. In: Dezani, M. (ed.) Proceedings of Conference on Typed lambda calculus and Applications, Springer-Verlag. (Also: Technical Report 333, University of Cambridge, 1994.)
4. Blute, R. F. (1993) Linear Logic, Coherence and Dinaturality. Theoretical Computer Science 115 3-41.
5. Blute R., Cockett, J. R. B., Seely, R. A. G. and Trimble, T. H. (1992) Natural deduction and coherence for weakly distributive categories. To appear in Journal of Pure and Applied Algebra. (Also: Preprint, McGill University, 1992, revised 1994.)
6. Cockett, J. R. B. (1993) Introduction to distributive categories. Math. Struct, in Comp. Science 3 277-308.
7. Cockett, J. R. B. and Seely, R. A. G. (1992) Weakly distributive categories. In: Fourman, M. P., Johnstone, P. T and Pitts, A. M. (eds.) Applications of Categories to Computer Science, London Mathematical Society Lecture Note Series 177 45-65. (Expanded version to appear in Journal of Pure and Applied Algebra.)
8. Cockett, J. R. B. and Seely, R. A. G. (1995) Proof theory for linear logics without negation. Preprint, McGill University.
9. Danos, V. (1990) La logique lineaire appliquee a I'etude de divers processus de normalisation et principalement du X-calcul, Doctoral dissertation, Universite de Paris.
10. Danos, V. and Regnier, L. (1989) The structure of multiplicatives. Archive for Math. Logic 28 181-203.
11. Fox, T. (1976) Coalgebras and Cartesian categories. Communications in Algebra 7 665-667.
12. Girard, J.-Y. (1987) Linear logic. Theoretical Computer Science 50 1-102.
13. Girard, J.-Y. (1991) A new constructive logic: classical logic. Math. Struct, in Comp. Science 1 255-296.
14. Joyal, A. and Street, R. (1991) The geometry of tensor calculus I. Advances in Mathematics 88 55-112.
15. Lambek, J. (1969) Deductive systems and categories II. Springer-Verlag Lecture Notes in Mathematics 87.
16. Lincoln, P. and Winkler, I. (1994) Constant-only multiplicative linear logic is NP-complete. Theoretical Computer Science 135 155-169.
17. Prawitz, D. (1965) Natural Deduction, Almqvist and Wiksell, Uppsala.
18. Seely, R. A. G. (1989) Linear logic, autonomous categories and cofree coalgebras. In: Gray, J. and Scedrov A. (eds.) Categories in Computer Science and Logic Contemporary Mathematics 92 Am. Math. Soc.
19. Trimble, T. H. (1994) Linear logic, bimodules, and full coherence for autonomous categories, Doctoral dissertation, Rutgers University.