Completeness of Bisimilarity for Contextual Equivalence in Linear Theories


Download Links

by Roy L. Crole
Citations:5 - 1 self

Active Bibliography

3 What is a logic, and what is a proof? – Lutz Straßburger - 2006
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
14 On proof nets for multiplicative linear logic with units – Lutz Straßburger, François Lamarche - 2004
Labelled Deduction Labelled Deduction – Edited By David, Dov M. Gabbay, An Matthews
An implementation model of the typed lambda-calculus based on Linear Chemical Abstract Machine – Shinya Sato, Toru Sugimoto, Shinichi Yamada - 2001
Program Extraction for Full Linear Logic – David Albrecht, John N. Crossley, John S. Jeavons - 1995
8 Proof search for programming in Intuitionistic Linear Logic (Extended Abstract) – D. Galmiche, E. Boudinet - 1994
6 Labelled Deduction – David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.), An Matthews - 2000
1 Proofs, concurrent objects and computations in a FILL framework – D. Galmiche, E. Boudinet, Inria Lorraine - 1995
Theorem Proving with the Inverse Method for Linear Logic – Kaustuv Chaudhuri - 2004
LABELLED PROOF SYSTEMS FOR INTUITIONISTIC – Dov M. Gabbay, Luca Viganò, David Basin, Dov M. Gabbay, Seán Matthews
1 Cause and Effect: Type Systems for Effects and Dependencies – Geoffrey Washburn - 2005
10 Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets (Extended Abstract) – D. Larchey-Wendling, D. Galmiche - 1998
7 On a Modal \lambda-Calculus for S4* – F. Pfenning, H. C. Wong - 1995
7 Quantales as completions of ordered monoids: Revised semantics for Intuitionistic Linear Logic – D. Larchey-Wendling, D. Galmiche - 2000
15 Cut Rules and Explicit Substitutions – René Vestergaard, Joe Wells - 2000
3 Observations on a Linear PCF – G. M. Bierman - 1997
2 Complexity of strongly normalising λ-terms via non-idempotent intersection types – Alexis Bernadet, Stéphane Lengrand
calculi and – S. Ghilezan, J. Ivetić, P. Lescanne, S. Likavec - 2013