New Foundations for the Geometry of Interaction (1993)

Cached

Download Links

by Samson Abramsky , Radha Jagadeesan
Venue:Information and Computation
Citations:73 - 21 self

Documents Related by Co-Citation

210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
97 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
131 A game semantics for linear logic – A Blass
100 Geometry of Interaction V – J-Y Girard - 2011
101 Geometry of interaction I: Interpretation of system f – J-Y Girard - 1989
41 Proofs as processes – S Abramsky - 1994
930 Categories for the Working Mathematician – S Mac Lane - 1971
22 Event Spaces and Their Linear Logic – Vaughan Pratt - 1991
53 Linear Logic Without Boxes – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
87 Autonomous Categories and Linear Logic – M Barr - 1991
103 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
119 Respresentations of categories – M Barr - 1986
34 Integration Categories and Communicating Sequential Processes – S Abramsky - 1994
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
141 Proofs and types, volume 7 of Cambridge Tracts – J-Y Girard, P Taylor, Y Lafont - 1989
28 Linear logic, coherence and dinaturality – R Blute - 1993
92 The linear abstract machine – Yves Lafont - 1988
20 Logic programming with sequent systems: a linear logic approach – J-M Andreoli, R Pareschi - 1990
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990