Linear Läuchli semantics (1996)

by R. F. Blute , P. J. Scott
Venue:ANNALS PURE APPL. LOGIC
Citations:19 - 7 self

Active Bibliography

2 Linear L"auchli semantics – R. F. Blute, P. J. Scott - 1996
8 The Shuffle Hopf Algebra and Noncommutative Full Completeness – R. F. Blute, P. J. Scott - 1999
1 A Noncommutative Full Completeness Theorem (Extended Abstract) – R. F. Blute, P. J. Scott - 1996
3 Fock Space: A Model of Linear Exponential Types – R. F. Blute, Prakash Panangaden, R. A. G. Seely - 1994
7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
22 From proof nets to the free *- autonomous category – François Lamarche, Lutz Strassburger - 2005
ISSN 0249-6399 ISRN INRIA/RR--????--FR+ENGProof Nets and the Identity of Proofs – Lutz Straßburger, Thème Sym, Lutz Straßburger, Projet Parsifal - 2006
FROM PROOF NETS TO THE FREE *-AUTONOMOUS CATEGORY FRANÇOIS LAMARCHE AND LUTZ STRASSBURGER – unknown authors - 2006
FROM PROOF NETS TO THE FREE *-AUTONOMOUS CATEGORY FRANÇOIS LAMARCHE AND LUTZ STRASSBURGER – unknown authors - 2006
1 On Double Categories and Multiplicative Linear Logic – Paul-André Melliès, Preuves Programmes Systemes - 1999
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
8 The Logic of Linear Functors – Richard Blute, J.R.B. Cockett, R. A. G. Seely - 2002
Contents – Peter Selinger
37 A survey of graphical languages for monoidal categories – Peter Selinger
Statistics – Masuka Yeasin, Dr. Kristine Bauer, Dr. Philip, W. L. Fong - 2012
5 On categorical models of classical logic and the geometry of interaction – Carsten Führmann, David Pym - 2005
16 Proof nets for the Lambekcalculus — an overview – François Lamarche, Christian Retoré - 1996
5 Deep Inference Proof Theory Equals Categorical Proof Theory Minus Coherence – Dominic J. D. Hughes - 2004
12 Simple free star-autonomous categories and full coherence – Dominic J. D. Hughes - 2005