other persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 32 |      | Jean-Yves Girard: Truth, modality and intersubjectivity. Mathematical Structures in Computer Science 17(6): 1153-1167 (2007) |
| 2003 | ||
| 31 | | 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 | | 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 | | Jean-Yves Girard: On Denotational Completeness. Theor. Comput. Sci. 227(1-2): 249-273 (1999) |
| 24 | | 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 | | Jean-Yves Girard: Coherent Banach Spaces: a continuous denotational semantics. Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 21 | | Jean-Yves Girard: On denotational completeness. Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 20 | | 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) |
| 1 | V. Michele Abrusci | [12] |
| 2 | Peter J. Freyd | [10] |
| 3 | Yves Lafont | [9] |
| 4 | Dag Normann | [15] |
| 5 | Mitsuhiro Okada | [20] [30] |
| 6 | Peter Päppinghaus | [1] |
| 7 | Andre Scedrov | [10] [14] [20] [30] |
| 8 | Philip J. Scott | [10] [14] |
| 9 | Jacqueline Vauzeilles | [2] [3] |
| 10 | Jacques Van de Wiele | [12] |