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 |
