Term Assignment for Intuitionistic Linear Logic (1992)

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

Documents Related by Co-Citation

441 The formulas-as-types notion of construction – W A Howard - 1980
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
625 Light Linear Logic – Jean-yves Girard
462 The Mathematics of Sentence Structure – J Lambek - 1965
459 Comprehending Monads – Philip Wadler - 1992
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
734 Notions of Computation and Monads – Eugenio Moggi - 1991
356 Proofs and Types – J Y Girard, P Taylor, Y Lafont - 1989
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987