Linear λ-calculus and categorical models revisited

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

Volumn 702 LNCS, Issue , 1993, Pages 61-84

  Benton, Nick ^a   Bierman, Gavin ^a   De Paiva, Valeria ^a   Hyland, Martin ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84955572477     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56992-8_6     Document Type: Conference Paper

References (18)

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 intultionistic linear logic. Technical Report 262, Computer Laboratory, University of Cambridge, August 1992.
3. Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. A term calculus for intuitionistic linear logic. In Proceedings of International Conference on Typed Larnbda Calculi and Applications, Lecture Notes in Computer Science, March 1993.
4. Valeria C.V. de Paiva. The Dialetica Categories. PhD thesis, Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 1988. Published as Computer Laboratory Technical Report 213, 1990.
5. S. Eilenberg and G.M. Kelly. Closed categories. In Proceedings of Conference on Categorical Algebra, La Jolla, 1966.
6. T. Fox. Coalgebras and cartesian categories. Communications in Algebra, 4(7):665-667, 1976.
7. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1-101, 1987.
8. 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.
9. Martin Hyland and Valeria de Paiva. Full intuitionistic linear logic. Unpublished manuscript, 1992.
10. Bart Jacobs. Semantics of weakening and contraction. Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, unpublished manuscript, May 1992.
11. G.M. Kelly and S. Mac Lane. Coherence in closed categories. Journal of Pure and Applied Algebra, 1:97-140, 1971.
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. Saunders Mac Lane. Categories for the Working Mathematican, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, 1971.
14. 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.
15. Ian Mackie. Lilac: A functional programming language based on linear logic. Master’s thesis, Department of Computing, Imperial College, London, September 1991.
16. R.A.G. Seely. Linear logic, *-autonomous categories and coffee algebras. In Conference on Categories in Computer Science and Logic, volume 92 of AMS Contemporary Mathematics, pages 371-382, June 1989.
17. M.E. Szabo, editor. The Collected Papers of Gerhard Gentzen. North-Holland, 1969.
18. Philip Wadler. There’s no substitute for linear logic. Draft Paper, December 1991.