Proofs as Polynomials

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

Active Bibliography

4 Towards a typed geometry of interaction – Esfandiar Haghverdi, Philip J. Scott - 2005
Towards a Typed Geometry of Interaction Abstract – Iar Haghverdi A, Philip Scott B
42 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
*-autonomous categories, Unique decomposition categories. – Esfandiar Haghverdi, Philip Scott, Haghverdi Scott
A Categorical Model for the Geometry of Interaction Abstract – Esfandiar Haghverdi, Philip Scott
CTCS 2004 Preliminary Version From Geometry of Interaction to Denotational Semantics – unknown authors
8 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