Term Assignment for Intuitionistic Linear Logic (1992)

by Nick Benton , Gavin Bierman , Valeria Paiva , Martin Hyland
Citations:53 - 9 self

Document Versions

Term Assignment for Intuitionistic Linear Logic –Nick Benton, Gavin Bierman, Valeria Paiva, Martin Hyland — 1992
Term Assignment for Intuitionistic Linear Logic (Preliminary Report) –Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland — 1992
Term assignment for intuitionistic linear logic –Nick Benton, Gavin Bierman, Valeria Paiva — 1992