A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) (1994)

by P. N. Benton
Citations:96 - 3 self

Documents Related by Co-Citation

99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
89 Dual intuitionistic linear logic – A Barber, G Plotkin - 1997
53 Term Assignment for Intuitionistic Linear Logic – Nick Benton, Gavin Bierman, Valeria Paiva, Martin Hyland - 1992
72 A Term Calculus for Intuitionistic Linear Logic – Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland - 1993
92 The linear abstract machine – Yves Lafont - 1988
32 Linear Logic, Monads and the Lambda Calculus – Nick Benton, Philip Wadler - 1996
214 Closed categories – Samuel Eilenberg, G Max Kelly - 1965
730 Notions of Computation and Monads – Eugenio Moggi - 1991
97 On closed categories of functors – B Day - 1970
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
616 Light Linear Logic – Jean-yves Girard
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
87 Autonomous Categories and Linear Logic – M Barr - 1991
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
134 Linear Types Can Change the World! – Philip Wadler - 1990
88 Is there a use for linear logic? – Philip Wadler - 1991
35 Doctrinal adjunction – G M Kelly - 1974
37 Linear Type Theories, Semantics and Action Calculi – A Barber - 1997