Towards a typed geometry of interaction (2005)

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

Active Bibliography

2 Proofs as Polynomials – Esfandiar Haghverdi, Philip J. Scott
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
13 Sequentiality vs. Concurrency in Games and Logic – Samson Abramsky - 2001
4 Simple multiplicative proof nets with units – Dominic J. D. Hughes - 2005
4 Geometry of Interaction IV: the Feedback Equation – Jean-yves Girard - 2005
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
1 Generalised Proof-Nets for Compact – Categories Biproducts - 903
A quantum double construction in Rel – Masahito Hasegawa - 2010
7 The Uniformity Principle on Traced Monoidal Categories – Masahito Hasegawa - 2003
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
22 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993