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

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

Active Bibliography

28 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
32 Linear Logic, Monads and the Lambda Calculus – Nick Benton, Philip Wadler - 1996
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
72 A syntax for linear logic – Philip Wadler - 1993
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
Presheaf models of quantum computation: an – Octavio Malherbe, Philip Scott, Peter Selinger - 1302
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
2 Separating Weakening and Contraction in a Linear Lambda Calculus – John Maraist - 1996
29 Operational Interpretations of Linear Logic – David N. Turner, Philip Wadler - 1998
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
49 A lambda calculus for quantum computation – AndrĂ© Van Tonder
4 Categories for Computation in Context and Unified Logic: The "Intuitionist" Case – R. F. Blute, J.R.B. Cockett, R.A.G. Seely - 1997
27 Quantum computation, categorical semantics and linear logic. quant-ph/0312174 – AndrĂ© Van Tonder - 2003
96 How to Declare an Imperative – Philip Wadler - 1995
37 Parameterised notions of computation – Robert Atkey - 2006
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
6 Semantics of linear continuation-passing in call-by-name – Masahito Hasegawa - 2004
32 A Semantic analysis of control – James David Laird - 1998