Towards a typed geometry of interaction (2005)

by Esfandiar Haghverdi , Philip J. Scott
Citations:4 - 1 self

Active Bibliography

2 Proofs as Polynomials – Esfandiar Haghverdi, Philip J. Scott
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
5 On categorical models of classical logic and the geometry of interaction – Carsten Führmann, David Pym - 2005
7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
1 Int Construction and Semibiproducts – Naohiko Hoshino, Shin-ya Katsumata - 2009
1 Conformal field theory as a nuclear functor – Richard Blute, Prakash Panangaden, Dorette Pronk
15 Sequentiality vs. Concurrency in Games and Logic – Samson Abramsky - 2001
4 Simple multiplicative proof nets with units – Dominic J. D. Hughes - 2005
5 Geometry of Interaction IV: the Feedback Equation – Jean-yves Girard - 2005
unknown title – Masahito Hasegawa - 2010
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
Generalised Proof-Nets for Compact Categories with Biproducts – n.n. - 2009
A quantum double construction in Rel – Masahito Hasegawa - 2010
7 The Uniformity Principle on Traced Monoidal Categories – Masahito Hasegawa - 2003
7 A Token Machine for Full Geometry of Interaction – Olivier Laurent - 2001
11 Temperley-Lieb Algebra: From Knot Theory to . . . – Samson Abramsky
28 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
14 Elementary Complexity and Geometry of Interaction – Patrick Baillot, Marco Pedicini, Consiglio Nazionale - 2000
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993