A term calculus for intuitionistic linear logic

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

Volumn 664 LNCS, Issue , 1993, Pages 75-90

  Benton, Nick ^a   Bierman, Gavin ^a   De Paiva, Valcria ^a   Ryland, Martin ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTATION THEORY; COMPUTER CIRCUITS; DIFFERENTIATION (CALCULUS); LINEAR ALGEBRA; PATHOLOGY;

COMPUTATIONAL CONTENTS; CUT ELIMINATION; INTUITIONISTIC LINEAR LOGIC; NATURAL DEDUCTION; NATURAL DEDUCTION PROOFS; SEQUENT CALCULUS; SUBJECT REDUCTION; SUBSTITUTION PROPERTY;

CALCULATIONS;

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

References (12)

1. Samson Abramsky. Computational interpretations of linear logic. Technical Report 90/20, Department of Computing, Imperial College, London, October 1990.
2. Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. Term assignment for intuitionistic linear logic. Technical Report 262, Computer Laboratory, University of Cambridge, August 1992.
3. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1-101, 1987.
4. Jean-Yves Girard, Yves Lafont, and Paul Taylor. Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989.
5. Jean-Yves Girard, Andre Scedrov, and Philip Scott. Bounded linear logic: A modular approach to polynomial time computability. Theoretical Computer Science, 97:1-66, 1992.
6. Patrick Lincoln and John Mitchell. Operational aspects of linear lambda calculus. In Proceedings of Symposium on Logic in Computer Science, pages 235-246, June 1992.
7. Ian Mackle. Lilac: A functional programming language based on linear logic. Master’s thesis, Department of Computing, Imperial College, London, September 1991.
8. P.W. O’Hearn. Linear logic and interference control (preliminary report). In Proceedings of Conference on Category Theory and Computer Science, volume 530 of Lecture Notes in Computer Science, pages 74-93, September 1991.
9. Dag Prawitz. Natural Deduction, volume 3 of Stockholm Studies in Philosophy. Almqvist and Wiksell, 1965.
10. Peter Schroeder-Heister. A natural extension of natural deduction. The Journal of Symbolic Logic, 49(4):1284-1300, December 1984.
11. M.E. Szabo, editor. The Collected Papers of Gerhard Gentzen. North-Holland, 1969.
12. Philip Wadler. There’s no substitute for linear logic. Draft Paper, December 1991.