Computational Interpretations of Linear Logic (1993)

Cached

Download Links

by Samson Abramsky
Venue:Theoretical Computer Science
Citations:280 - 3 self

Documents Related by Co-Citation

92 The linear abstract machine – Yves Lafont - 1988
616 Light Linear Logic – Jean-yves Girard
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992
163 Interaction nets – Y Lafont - 1990
262 Investigations into logical deduction – G Gentzen - 1969
134 Linear Types Can Change the World! – Philip Wadler - 1990
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
315 Functions as processes – R Milner - 1990
97 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
147 A logical analysis of modules in logic programming – Dale Miller - 1989
44 Lilac – a functional programming language based on linear logic – I Mackie
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
19 A linear functional language – S Holmström - 1988
56 A Typed Calculus of Synchronous Processes – Simon Gay, Rajagopal Nagarajan - 1995
141 Proofs and types, volume 7 of Cambridge Tracts – J-Y Girard, P Taylor, Y Lafont - 1989
164 A new constructive logic: Classical logic – J-Y Girard - 1991