Linear lambda-Calculus and Categorical Models Revisited

Linear lambda-Calculus and Categorical Models Revisited (1992)

Cached

Download Links

[www.cl.cam.ac.uk]
[www.cs.bham.ac.uk]

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Nick Benton , Gavin Bierman , Valeria De Paiva , Martin Hyland

Citations:

19 - 0 self

Document Versions

Linear lambda-Calculus and Categorical Models Revisited –Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland — 1992

Linear λ-calculus and categorical models revisited –Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland — 1992 — PROCEEDINGS OF THE SIXTH WORKSHOP ON COMPUTER SCIENCE LOGIC, VOLUME 702 OF LECTURE NOTES IN COMPUTER SCIENCE