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

View PDF

Download Links

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

Active Bibliography

457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
42 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
290 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
254 Categorial Type Logics – Michael Moortgat - 1997
215 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
205 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
96 Decision Problems for Propositional Linear Logic – Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar - 1990
163 BI as an Assertion Language for Mutable Data Structures – Samin Ishtiaq, Peter W. O'Hearn - 2000