Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic (extended abstract). In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), pages 211--220, 2004. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic (extended abstract). In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), pages 211--220, 2004.
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic. preprint, 2004.
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
No context found.
C. Fuhrmann and D. Pym. On the Geometry of Interaction for Classical Logic. In Proceedings of the Nineteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2004.
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic (extended abstract). In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), pages 211--220, 2004.
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic. preprint, 2004.
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2005) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic (extended abstract). In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), pages 211--220, 2004.
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2005) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic. preprint, 2004.
Naming Proofs in Classical Propositional Logic - Lamarche, Straßburger (2005) (3 citations) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic (extended abstract). In LICS 2004, pages 211--220, 2004.
Naming Proofs in Classical Propositional Logic - Lamarche, Straßburger (2005) (3 citations) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic (extended abstract). In LICS 2004, pages 211--220, 2004.
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2004) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic (extended abstract). In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), pages 211--220, 2004.
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic (extended abstract). In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), pages 211--220, 2004.
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
No context found.
Carsten Fuhrmann and David Pym. On the geometry of interaction for classical logic. preprint, 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC