|
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
|
|
5
|
Category theory for linear logicians
– Richard Blute, Philip Scott
- 2004
|
|
18
|
From proof nets to the free *- autonomous category
– François Lamarche, Lutz Strassburger
- 2005
|
|
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
|
|
6
|
The Logic of Linear Functors
– Richard Blute, J.R.B. Cockett, R. A. G. Seely
- 2002
|
|
15
|
A survey of graphical languages for monoidal categories
– Peter Selinger
|
|
3
|
On categorical models of classical logic and the geometry of interaction
– Carsten Führmann, David Pym
- 2005
|
|
13
|
Proof nets for the Lambekcalculus — an overview
– François Lamarche, Christian Retoré
- 1996
|
|
4
|
Deep Inference Proof Theory Equals Categorical Proof Theory Minus Coherence
– Dominic J. D. Hughes
- 2004
|
|
8
|
Simple free star-autonomous categories and full coherence
– Dominic J. D. Hughes
- 2005
|
|
12
|
Normal Forms and Cut-Free Proofs as Natural Transformations
– Jean-Yves Girard, Andre Scedrov, Philip J. Scott
- 1992
|
|
27
|
Domains and Denotational Semantics: History, Accomplishments and Open Problems
– Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark
- 1996
|
|
11
|
On the Axiomatisation of Boolean Categories with and without Medial
– Lutz Straßburger
- 2005
|
|
2
|
ON THE AXIOMATISATION OF BOOLEAN CATEGORIES WITH AND WITHOUT MEDIAL
– Lutz Strassburger
|
|
5
|
Type Theories for Autonomous and *-Autonomous Categories: I. Type Theories and Rewrite Systems - II. Internal Languages and Coherence Theorems
– T. W. Koh, C. -h. L. Ong
- 1998
|
