Geometry of Interaction and Linear Combinatory Algebras (2000)

Cached

Download Links

by Samson Abramsky , Esfandiar Haghverdi , Philip Scott
Citations:43 - 10 self

Documents Related by Co-Citation

165 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
66 Retracing some paths in Process Algebra – Samson Abramsky
100 Geometry of Interaction I: interpretation of system F – J-Y Girard - 1989
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
107 Coherence for compact closed categories – M Kelly, M Laplaza - 1980
29 Geometry of Interaction III: Accommodating the Additives – Jean-yves Girard - 1995
18 A categorical approach to linear logic, geometry of proofs and full completeness – Esfandiar Haghverdi - 2000
32 Geometry of interaction II: deadlock-free algorithms – J Y Girard
10 Unique decomposition categories, geometry of interaction and combinatory logic – E Haghverdi
50 Proof-nets and the Hilbert space – V. Danos, L. Regnier - 1995
30 Glueing and Orthogonality for Models of Linear Logic – Martin Hyland, Andrea Schalk - 2003
352 Proofs and Types – J-Y Girard, Y Lafont, P Taylor - 1989
614 Light Linear Logic – Jean-yves Girard
209 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
67 Dagger compact closed categories and completely positive maps (Extended Abstract) – Peter Selinger - 2005
48 Soft Linear Logic and Polynomial Time – Yves Lafont - 2002
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
97 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
67 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991