Skip to main content
SpringerLink
Log in

Linear λ-calculus and categorical models revisited

  • Conference paper
  • First Online:
Computer Science Logic (CSL 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 702))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Samson Abramsky. Computational interpretations of linear logic. Technical Report 90/20, Department of Computing, Imperial College, London, October 1990.

    Google Scholar 

  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.

    Google Scholar 

  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 Lambda Calculi and Applications, Lecture Notes in Computer Science, March 1993.

    Google Scholar 

  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.

    Google Scholar 

  5. S. Eilenberg and G.M. Kelly. Closed categories. In Proceedings of Conference on Categorical Algebra, La Jolla, 1966.

    Google Scholar 

  6. T. Fox. Coalgebras and cartesian categories. Communications in Algebra, 4(7):665–667, 1976.

    Google Scholar 

  7. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1–101, 1987.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  9. Martin Hyland and Valeria de Paiva. Full intuitionistic linear logic. Unpublished manuscript, 1992.

    Google Scholar 

  10. Bart Jacobs. Semantics of weakening and contraction. Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, unpublished manuscript, May 1992.

    Google Scholar 

  11. G.M. Kelly and S. Mac Lane. Coherence in closed categories. Journal of Pure and Applied Algebra, 1:97–140, 1971.

    Article  Google Scholar 

  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.

    Google Scholar 

  13. Saunders Mac Lane. Categories for the Working Mathematican, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, 1971.

    Google Scholar 

  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.

    Google Scholar 

  15. Ian Mackie. Lilac: A functional programming language based on linear logic. Master's thesis, Department of Computing, Imperial College, London, September 1991.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. M.E. Szabo, editor. The Collected Papers of Gerhard Gentzen. North-Holland, 1969.

    Google Scholar 

  18. Philip Wadler. There's no substitute for linear logic. Draft Paper, December 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Laboratory, University of Cambridge, UK

    Nick Benton, Gavin Bierman & Valeria de Paiva

  2. Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, UK

    Martin Hyland

Authors
  1. Nick Benton
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gavin Bierman
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Valeria de Paiva
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Martin Hyland
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

E. Börger G. Jäger H. Kleine Büning S. Martini M. M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benton, N., Bierman, G., de Paiva, V., Hyland, M. (1993). Linear λ-calculus and categorical models revisited. In: Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M.M. (eds) Computer Science Logic. CSL 1992. Lecture Notes in Computer Science, vol 702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56992-8_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-56992-8_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56992-3

  • Online ISBN: 978-3-540-47890-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation