Search the dblp DataBase
Jean-Yves Girard :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jean-Yves Girard A New Constructive Logic: Classical Logic. [Citation Graph (1, 0)][DBLP ] Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:255-296 [Journal ] Jean-Yves Girard The System F of Variable Types, Fifteen Years Later. [Citation Graph (1, 0)][DBLP ] Theor. Comput. Sci., 1986, v:45, n:2, pp:159-192 [Journal ] Jean-Yves Girard Linear Logic. [Citation Graph (1, 0)][DBLP ] Theor. Comput. Sci., 1987, v:50, n:, pp:1-102 [Journal ] Jean-Yves Girard Linear Logic and Parallelism. [Citation Graph (0, 0)][DBLP ] Mathematical Models for the Semantics of Parallelism, 1986, pp:166-182 [Conf ] Jean-Yves Girard Geometry of interaction 2: deadlock-free algorithms. [Citation Graph (0, 0)][DBLP ] Conference on Computer Logic, 1988, pp:76-93 [Conf ] Jean-Yves Girard Geometry of Interaction (Abstract). [Citation Graph (0, 0)][DBLP ] CONCUR, 1994, pp:1- [Conf ] Jean-Yves Girard Locus Solum: From the Rules of Logic to the Logic of Rules. [Citation Graph (0, 0)][DBLP ] CSL, 2001, pp:38- [Conf ] Jean-Yves Girard Conférénce invitée: Négation et dualité en programmation logique. [Citation Graph (0, 0)][DBLP ] JFPLC, 2000, pp:85-0 [Conf ] Jean-Yves Girard Light Linear Logic. [Citation Graph (0, 0)][DBLP ] LCC, 1994, pp:145-176 [Conf ] Peter J. Freyd , Jean-Yves Girard , Andre Scedrov , Philip J. Scott Semantic Parametricity in Polymorphic Lambda Calculus [Citation Graph (0, 0)][DBLP ] LICS, 1988, pp:274-279 [Conf ] Jean-Yves Girard Quantitative and Qualitative Semantics (Abstract of Invited Lecture) [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:258- [Conf ] Jean-Yves Girard La mouche dans la bouteille. [Citation Graph (0, 0)][DBLP ] Logic Colloquium, 1985, pp:9-12 [Conf ] Jean-Yves Girard , Yves Lafont Linear Logic and Lazy Computation. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1987, pp:52-66 [Conf ] Jean-Yves Girard On the Unity of Logic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1993, v:59, n:3, pp:201-217 [Journal ] Jean-Yves Girard From foundations to ludics. [Citation Graph (0, 0)][DBLP ] Bulletin of Symbolic Logic, 2003, v:9, n:2, pp:131-168 [Journal ] Jean-Yves Girard On denotational completeness. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Jean-Yves Girard Coherent Banach Spaces: a continuous denotational semantics. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Jean-Yves Girard , Mitsuhiro Okada , Andre Scedrov Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Jean-Yves Girard Light Linear Logic. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1998, v:143, n:2, pp:175-204 [Journal ] V. Michele Abrusci , Jean-Yves Girard , Jacques Van de Wiele Some Uses of Dilators in Combinatorial Problems, II. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1990, v:55, n:1, pp:32-40 [Journal ] Jean-Yves Girard , Dag Normann Embeddability of PTYKES. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1992, v:57, n:2, pp:659-676 [Journal ] Jean-Yves Girard , Peter Päppinghaus A Result on Implications of sigma;1 -Sentences and Its Application to Normal Form Theorems. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1981, v:46, n:3, pp:634-642 [Journal ] Jean-Yves Girard , Jacqueline Vauzeilles Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:3, pp:713-729 [Journal ] Jean-Yves Girard , Jacqueline Vauzeilles Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:4, pp:1079-1114 [Journal ] Jean-Yves Girard Logic and Exceptions: A Few Remarks. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1992, v:2, n:2, pp:111-118 [Journal ] Jean-Yves Girard Locus Solum: From the rules of logic to the logic of rules. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2001, v:11, n:3, pp:301-506 [Journal ] Jean-Yves Girard On Denotational Completeness. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:227, n:1-2, pp:249-273 [Journal ] Jean-Yves Girard Coherent Banach Spaces: A Continuous Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:227, n:1-2, pp:275-297 [Journal ] Jean-Yves Girard , Mitsuhiro Okada , Andre Scedrov Preface. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:294, n:3, pp:333- [Journal ] Jean-Yves Girard , Andre Scedrov , Philip J. Scott Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:97, n:1, pp:1-66 [Journal ] Search in 0.003secs, Finished in 0.005secs