Linear lambda-Calculus and Categorical Models Revisited (1992)

by Nick Benton , Gavin Bierman , Valeria De Paiva , Martin Hyland
Citations:22 - 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