Jean-Yves Girard. Towards a geometry of interaction. In J. W. Gray and Andre Scedrov, editors, Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 69--108. American Mathematical Society, 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Fully Complete Minimal PER Models for the Simply Typed.. - Abramsky, Lenisa (Correct)
Flexible Interference Control with Bunches - O'Hearn (2000) (Correct)
Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (132 citations) (Correct)
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
BI as an Assertion Language for Mutable Data Structures - Ishtiaq, O'Hearn (2000) (82 citations) (Correct)
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
Full Abstraction for PCF - Abramsky, Jagadeesan, Malacaria (1996) (116 citations) (Correct)
New Foundations for the Geometry of Interaction - Abramsky, Jagadeesan (1993) (27 citations) (Correct)
Computational Interpretations of Linear Logic - Abramsky (1993) (225 citations) (Correct)
A Deconstruction of Non-deterministic Classical Cut Elimination - Laird (3 citations) (Correct)
Elementary Complexity and Geometry of Interaction - Baillot (2000) (2 citations) (Correct)
Petri Net Semantics of Bunched Implications - O'Hearn, Yang (Correct)
Grammar and Logical Types - Morrill (1990) (8 citations) (Correct)
Relational Interpretation and Geometrical Form - Morrill (Correct)
On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (6 citations) (Correct)
Non-commutative logic II: sequent calculus and phase semantics - Ruet (1998) (25 citations) (Correct)
Fully Complete Models for ML Polymorphic Types - Abramsky, Lenisa (1999) (Correct)
Fully Complete Models for ML Polymorphic Types - Abramsky, Lenisa (1999) (Correct)
A Dialectica Model of State - Correa, Haeusler, de Paiva (1996) (1 citation) (Correct)
A Fully Complete PER Model for ML Polymorphic Types - Abramsky, Lenisa (2000) (6 citations) (Correct)
On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (6 citations) (Correct)
Proof nets Construction and Automated Deduction in.. - Galmiche, Martin (1998) (2 citations) (Correct)
A Dialectica Model of State - Correa, Hauesler, de Paiva (1996) (1 citation) (Correct)
New Foundations for the Geometry of Interaction - Abramsky, Jagadeesan (1993) (27 citations) (Correct)
Synthesizing Imperative Object-Oriented Programs using a.. - Patrick Bellot (Correct)
Continuations and Semantics - Wilson (1993) (Correct)
Non-commutative logic I: the multiplicative fragment - Abrusci, Ruet (1998) (34 citations) (Correct)
Computational Interpretations of Linear Logic - Abramsky (1993) (225 citations) (Correct)
Full Abstraction for PCF - Samson Abramsky Radha (1994) (116 citations) (Correct)
New Foundations for the Geometry of Interaction - Samson Abramsky Radha (1993) (27 citations) (Correct)
Distributed Control Flow - With Classical Modal (Correct)
Distributed Control Flow - With Classical Modal (2005) (Correct)
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (82 citations) (Correct)
A Topological Correctness Criterion for Multiplicative.. - Mellies (Correct)
Decision Problems for Propositional Linear Logic - Patrick Lincoln John (1992) (67 citations) (Correct)
Decision Problems for Propositional Linear Logic - Patrick Lincoln John (1992) (67 citations) (Correct)
Decision Problems for Propositional Linear Logic - Patrick Lincoln John (1992) (67 citations) (Correct)
Down With the Bureaucracy of Syntax! - Pattern Matching For (Correct)
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
Some Theory and Applications of Linear Logic - Cs Project Report (Correct)
Games in the Semantics of Programming Languages - An Elementary.. - Jürjens (1999) (Correct)
Quadratic correctness criterion for Non commutative Logic - Virgile Mogbil Institut (2001) (3 citations) (Correct)
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (82 citations) (Correct)
Traced Premonoidal Categories - Benton, Hyland (1999) (3 citations) (Correct)
Looking From the Inside and From the Outside - Carbone, Semmes (1998) (Correct)
A New Approach to Control Flow Analysis - Malacaria, Hankin (1998) (5 citations) (Correct)
Omega calculus - Simplification of realizations, v. 9.0 - Bellot (Correct)
Uniformity in Ludics, Why and How... - Hyvernat (2002) Self-citation (Girard) (Correct)
On the meaning of logical rules I: syntax vs. semantics - Girard (1998) Self-citation (Girard) (Correct)
First 50 documents Next 50
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