Some Theory and Applications of Linear Logic

Some Theory and Applications of Linear Logic (2000)

by Chris Harrelson

@MISC{Harrelson00sometheory,
    author = {Chris Harrelson},
    title = {Some Theory and Applications of Linear Logic},
    year = {2000}
}

541	Linear Logic - Girard - 1987
283	Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller - 1994
272	Computational interpretations of linear logic - Abramsky - 1993
142	Linear Logic: Its syntax and semantics - Girard - 1995
122	Linear types can change the world - Wadler - 1990
97	Towards a geometry of interaction - Girard - 1989
91	linear Lisp – ’Look Ma, no garbage - Baker, Lively - 1992
89	The linear abstract machine - Lafont - 1988
85	Is there a use for linear logic - Wadler - 1991
60	Bounded linear logic: a modular approach to polynomial-time computability - Girard, Scedrov, et al. - 1992
53	A brief guide to linear logic - Scedrov - 1993
31	Natural deduction for intuitionistic non-commutative linear logic - Polakow, Pfenning - 1999
13	Minimizing reference count updating with deferred and anchored pointers for functional data structures - Baker - 1994
1	The 'linear logic' variable { it's not just for theoreticians anymore - Baker - 1993