|
22
|
Nuclear and Trace Ideals in Tensored *-Categories
– Samson Abramsky, Richard Blute, Prakash Panangaden
- 1998
|
|
5
|
Category theory for linear logicians
– Richard Blute, Philip Scott
- 2004
|
|
|
Shape theory for nuclear ideals
– Richard Blute
- 2005
|
|
4
|
Temperley-Lieb Algebra: From Knot Theory to . . .
– Samson Abramsky
|
|
3
|
On categorical models of classical logic and the geometry of interaction
– Carsten Führmann, David Pym
- 2005
|
|
|
Physics from Computer Science — a position statement —
– Samson Abramsky, Bob Coecke
- 2006
|
|
2
|
Proofs as Polynomials
– Esfandiar Haghverdi, Philip J. Scott
|
|
3
|
Towards a typed geometry of interaction
– Esfandiar Haghverdi, Philip J. Scott
- 2005
|
|
1
|
Dagger categories and formal distributions
– Richard Blute, Prakash Panangaden
|
|
1
|
Int Construction and Semibiproducts
– Naohiko Hoshino, Shin-ya Katsumata
- 2009
|
|
3
|
Attribute grammars and categorical semantics
– Shin-ya Katsumata
|
|
|
A quantum double construction in Rel
– Masahito Hasegawa
- 2010
|
|
21
|
Abstract scalars, loops, and free traced and strongly compact closed categories
– Samson Abramsky
- 2005
|
|
|
Quantum picturalism
– Bob Coecke
- 2009
|
|
|
Algebra in Braided Tensor Categories and Conformal Field Theory
– Ingo Runkel
|
|
6
|
On traced monoidal closed categories
– Masahito Hasegawa
- 2008
|
|
39
|
Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
- 2000
|
|
12
|
A Structural Approach to Reversible Computation
– Samson Abramsky
- 2001
|
|
|
Generalised Proof-Nets for Compact Categories with Biproducts
– n.n.
- 2009
|
