|
3
|
Towards a typed geometry of interaction
– Esfandiar Haghverdi, Philip J. Scott
- 2005
|
|
39
|
Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
- 2000
|
|
5
|
Category theory for linear logicians
– Richard Blute, Philip Scott
- 2004
|
|
1
|
Conformal field theory as a nuclear functor
– Richard Blute, Prakash Panangaden, Dorette Pronk
|
|
3
|
On categorical models of classical logic and the geometry of interaction
– Carsten Führmann, David Pym
- 2005
|
|
1
|
Int Construction and Semibiproducts
– Naohiko Hoshino, Shin-ya Katsumata
- 2009
|
|
4
|
Simple multiplicative proof nets with units
– Dominic J. D. Hughes
- 2005
|
|
13
|
Sequentiality vs. Concurrency in Games and Logic
– Samson Abramsky
- 2001
|
|
4
|
Geometry of Interaction IV: the Feedback Equation
– Jean-yves Girard
- 2005
|
|
|
1 Generalised Proof-Nets for Compact
– Categories Biproducts
- 903
|
|
6
|
On traced monoidal closed categories
– Masahito Hasegawa
- 2008
|
|
|
A quantum double construction in Rel
– Masahito Hasegawa
- 2010
|
|
22
|
Nuclear and Trace Ideals in Tensored *-Categories
– Samson Abramsky, Richard Blute, Prakash Panangaden
- 1998
|
|
6
|
A Token Machine for Full Geometry of Interaction
– Olivier Laurent
- 2001
|
|
9
|
Elementary Complexity and Geometry of Interaction
– Patrick Baillot, Marco Pedicini, Consiglio Nazionale
- 2000
|
|
4
|
Temperley-Lieb Algebra: From Knot Theory to . . .
– Samson Abramsky
|
|
4
|
Stratified Bounded Affine Logic for Logarithmic Space
– Ulrich Schöpp
|
|
53
|
A Brief Guide to Linear Logic
– Andre Scedrov
- 1993
|
|
7
|
The Uniformity Principle on Traced Monoidal Categories
– Masahito Hasegawa
- 2003
|
