Proofs as Polynomials

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

Active Bibliography

4 Towards a typed geometry of interaction – Esfandiar Haghverdi, Philip J. Scott - 2005
43 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
1 Conformal field theory as a nuclear functor – Richard Blute, Prakash Panangaden, Dorette Pronk
4 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
5 Geometry of Interaction IV: the Feedback Equation – Jean-yves Girard - 2005
Generalised Proof-Nets for Compact Categories with Biproducts – n.n. - 2009
doi:10.1017/S0960129508007184 First published online 27 October 2008 Printed in the United Kingdom On traced monoidal closed categories – Masahito Hasegawa - 2007
12 On traced monoidal closed categories – Masahito Hasegawa - 2008
A quantum double construction in Rel – Masahito Hasegawa - 2010
26 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
7 A Token Machine for Full Geometry of Interaction – Olivier Laurent - 2001
10 Temperley-Lieb Algebra: From Knot Theory to . . . – Samson Abramsky
14 Elementary Complexity and Geometry of Interaction – Patrick Baillot, Marco Pedicini, Consiglio Nazionale - 2000
8 Stratified Bounded Affine Logic for Logarithmic Space – Ulrich Schöpp
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993