What is a categorical model of intuitionistic linear logic?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 902, Issue , 1995, Pages 79-93

  Bierman, G M ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; LINEAR ALGEBRA; PATHOLOGY;

CATEGORICAL MODEL; INTUITIONISTIC LINEAR LOGIC; S MODELS; STANDARD MODEL;

COMPUTER CIRCUITS;

EID: 84947442841     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014046     Document Type: Conference Paper

References (15)

1. S. Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111(1-2):3-57, 1993. Previously Available as Department of Computing, Imperial College Technical Report 90/20, 1990.
2. M. Barr. *-autonomous categories and linear logic. Mathematical Structures in Computer Science, 1:159-178, 1991.
3. P.N. Benton. A mixed linear and non-linear logic: Proofs, terms and models. Technical Report 352, Computer Laboratory, University of Cambridge, 1994.
4. P.N. Benton, G.M. Bierman, V.C.V. de Paiva, and J.M.E. Hyland. Term assignment for intuitionistic linear logic. Technical Report 262, Computer Laboratory, University of Cambridge, August 1992.
5. P.N. Benton, G.M. Bierman, V.C.V. de Paiva, and J.M.E. Hyland. A term calculus for intuitionistic linear logic. In M. Bezem and J.F. Groote, editors, Proceedings of Conference on Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science, pages 75-90, 1993.
6. G.M. Bierman. On Intuitionistic Linear Logic. PhD thesis, Computer Laboratory, University of Cambridge, December 1993. Available as Computer Laboratory Technical Report 346. August 1994.
7. J. Gallier. Constructive logics part I: A tutorial on proof systems and typed A-calculi. Theoretical Computer Science, 110(2):249-339, March 1993.
8. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1-101, 1987.
9. J.-Y. Girard and Y. Lafont. Linear logic and lazy computation. In Proceedings of TAPSOFT 87, volume 250 of Lecture Notes in Computer Science, pages 52-66, 1987. Previously Available as INRIA Report 588, 1986.
10. W.A. Howard. The formulae-as-types notion of construction. In J.R. Hindley and J.P. Seldin, editors, To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism. Academic Press, 1980.
11. Y. Lafont. The linear abstract machine. Theoretical Computer Science, 59:157180, 1988. Corrections ibid. 62:327-328, 1988.
12. J. Lambek and P.J. Scott. Introduction to higher order categorical logic, volume 7 of Cambridge studies in advanced mathematics. Cambridge University Press, 1987.
13. S. Mac Lane. Categories for the Working Mathematican, volume 5 of Graduate Texts in Mathematics. Springer Verlag, 1971.
14. R.A.G. Seely. Linear logic, *-autonomous categories and cofree algebras. In Conference on Categories in Computer Science and Logic, volume 92 of AMS Contemporary Mathematics, pages 371-382, June 1989.
15. A.S. Troelstra. Lectures on Linear Logic, volume 29 of Lecture Notes. CSLI, 1992.