Proof-nets: The parallel syntax for proof-theory (1996)

Cached

Download Links

by Jean-yves Girard
Venue:Logic and Algebra
Citations:91 - 1 self

Documents Related by Co-Citation

134 The structure of multiplicatives – Vincent Danos, Laurent Regnier - 1989
616 Light Linear Logic – Jean-yves Girard
73 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991
40 Fair Games and Full Completeness for Multiplicative Linear Logic without the MIX-Rule – J.M.E. Hyland, C. -h. L. Ong - 1993
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
26 On Proof Normalization in Linear Logic – Didier Galmiche, Guy Perrier, Crin Cnrs Inria - 1994
101 Geometry of interaction I: Interpretation of system f – J-Y Girard - 1989
161 logic: its syntax and semantics – Jean-yves Girard - 1995
29 Geometry of Interaction III: Accommodating the Additives – Jean-yves Girard - 1995
12 Linear Logic, Totality and Full Completeness – Ralph Loader - 1994
210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
30 La Logique Linéaire appliquée à l’étude de divers processus de normalisation (principalement du λ-calcul). These de doctorat, Université Paris VII – Vincent Danos - 1990
50 Proof-nets and the Hilbert space – V. Danos, L. Regnier - 1995
100 Geometry of Interaction V – J-Y Girard - 2011
170 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
164 A new constructive logic: Classical logic – J-Y Girard - 1991
22 Full completeness of the multiplicative linear logic of chu spaces – Harish Devarajan, Dominic Hughes, Gordon Plotkin, Vaughan Pratt - 1999
11 A Procedure for Automatic Proof Nets Construction – Didier Galmiche, Guy Perrier - 1992
15 Geometry of interaction II: deadlock free algorithms – J Y Girard - 1989