Term Assignment for Intuitionistic Linear Logic (1992)

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

Active Bibliography

22 Linear lambda-Calculus and Categorical Models Revisited – Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland - 1992
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
6 The power of linear functions – Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie - 2006
MFPS 2008 Semimodule enrichment – Chris Heunen
8 A Classical Linear λ-calculus – G.M. Bierman - 1997
6 A Formulation of Linear Logic Based on Dependency-Relations – Torben Braüner, Valeria De Paiva - 1997
3 On the Compositionality and Analysis of Algebraic High-Level Nets – Johan Lilius, Johan Lilius - 1991
17 The Lambda-Calculus with Multiplicities – Gérard Boudol - 1993
3 Fock Space: A Model of Linear Exponential Types – R. F. Blute, Prakash Panangaden, R. A. G. Seely - 1994
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
Fun and Games with the Linear lambda-Calculus – Colin J. Taylor - 1998
1 CLL: A concurrent language built from logical principles – Deepak Garg - 2005
3 Linearity and nonlinearity in distributed computation – Glynn Winskel
1 A New "Feasible" Arithmetic – S. Bellantoni, Martin Hofmann - 2000
Some Theory and Applications of Linear Logic – Chris Harrelson - 2000
1 Linear Recursive Functions – Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
19 Soft lambda-calculus: a language for polynomial time computation – Patrick Baillot, Virgile Mogbil - 2004