| 2007 |
|---|
| 32 | EE | Jean-Yves Girard:
Truth, modality and intersubjectivity.
Mathematical Structures in Computer Science 17(6): 1153-1167 (2007) |
| 2003 |
|---|
| 31 | EE | Jean-Yves Girard:
From foundations to ludics.
Bulletin of Symbolic Logic 9(2): 131-168 (2003) |
| 30 | | Jean-Yves Girard,
Mitsuhiro Okada,
Andre Scedrov:
Preface.
Theor. Comput. Sci. 294(3): 333 (2003) |
| 2001 |
|---|
| 29 | EE | Jean-Yves Girard:
Locus Solum: From the Rules of Logic to the Logic of Rules.
CSL 2001: 38 |
| 28 | | Jean-Yves Girard:
Locus Solum: From the rules of logic to the logic of rules.
Mathematical Structures in Computer Science 11(3): 301-506 (2001) |
| 2000 |
|---|
| 27 | | Jean-Yves Girard:
Conférénce invitée: Négation et dualité en programmation logique.
JFPLC 2000: 85- |
| 1999 |
|---|
| 26 | | Jean-Yves Girard:
Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
Springer 1999 |
| 25 | EE | Jean-Yves Girard:
On Denotational Completeness.
Theor. Comput. Sci. 227(1-2): 249-273 (1999) |
| 24 | EE | Jean-Yves Girard:
Coherent Banach Spaces: A Continuous Denotational Semantics.
Theor. Comput. Sci. 227(1-2): 275-297 (1999) |
| 1998 |
|---|
| 23 | | Jean-Yves Girard:
Light Linear Logic.
Inf. Comput. 143(2): 175-204 (1998) |
| 1996 |
|---|
| 22 | EE | Jean-Yves Girard:
Coherent Banach Spaces: a continuous denotational semantics.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 21 | EE | Jean-Yves Girard:
On denotational completeness.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 20 | EE | Jean-Yves Girard,
Mitsuhiro Okada,
Andre Scedrov:
Preface.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1994 |
|---|
| 19 | | Jean-Yves Girard:
Geometry of Interaction (Abstract).
CONCUR 1994: 1 |
| 18 | | Jean-Yves Girard:
Light Linear Logic.
LCC 1994: 145-176 |
| 1993 |
|---|
| 17 | | Jean-Yves Girard:
On the Unity of Logic.
Ann. Pure Appl. Logic 59(3): 201-217 (1993) |
| 1992 |
|---|
| 16 | | Jean-Yves Girard:
Logic and Exceptions: A Few Remarks.
J. Log. Comput. 2(2): 111-118 (1992) |
| 15 | | Jean-Yves Girard,
Dag Normann:
Embeddability of PTYKES.
J. Symb. Log. 57(2): 659-676 (1992) |
| 14 | | Jean-Yves Girard,
Andre Scedrov,
Philip J. Scott:
Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability.
Theor. Comput. Sci. 97(1): 1-66 (1992) |
| 1991 |
|---|
| 13 | | Jean-Yves Girard:
A New Constructive Logic: Classical Logic.
Mathematical Structures in Computer Science 1(3): 255-296 (1991) |
| 1990 |
|---|
| 12 | | V. Michele Abrusci,
Jean-Yves Girard,
Jacques Van de Wiele:
Some Uses of Dilators in Combinatorial Problems, II.
J. Symb. Log. 55(1): 32-40 (1990) |
| 1988 |
|---|
| 11 | | Jean-Yves Girard:
Geometry of interaction 2: deadlock-free algorithms.
Conference on Computer Logic 1988: 76-93 |
| 10 | | Peter J. Freyd,
Jean-Yves Girard,
Andre Scedrov,
Philip J. Scott:
Semantic Parametricity in Polymorphic Lambda Calculus
LICS 1988: 274-279 |
| 1987 |
|---|
| 9 | | Jean-Yves Girard,
Yves Lafont:
Linear Logic and Lazy Computation.
TAPSOFT, Vol.2 1987: 52-66 |
| 8 | | Jean-Yves Girard:
Linear Logic.
Theor. Comput. Sci. 50: 1-102 (1987) |
| 1986 |
|---|
| 7 | | Jean-Yves Girard:
Quantitative and Qualitative Semantics (Abstract of Invited Lecture)
LICS 1986: 258 |
| 6 | | Jean-Yves Girard:
Linear Logic and Parallelism.
Mathematical Models for the Semantics of Parallelism 1986: 166-182 |
| 5 | | Jean-Yves Girard:
The System F of Variable Types, Fifteen Years Later.
Theor. Comput. Sci. 45(2): 159-192 (1986) |
| 1985 |
|---|
| 4 | | Jean-Yves Girard:
La mouche dans la bouteille.
Logic Colloquium 1985: 9-12 |
| 1984 |
|---|
| 3 | | Jean-Yves Girard,
Jacqueline Vauzeilles:
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy.
J. Symb. Log. 49(3): 713-729 (1984) |
| 2 | | Jean-Yves Girard,
Jacqueline Vauzeilles:
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy.
J. Symb. Log. 49(4): 1079-1114 (1984) |
| 1981 |
|---|
| 1 | | Jean-Yves Girard,
Peter Päppinghaus:
A Result on Implications of sigma;1-Sentences and Its Application to Normal Form Theorems.
J. Symb. Log. 46(3): 634-642 (1981) |
