dblp.uni-trier.dewww.uni-trier.de

Jean-Yves Girard Vis

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2007
32EEJean-Yves Girard: Truth, modality and intersubjectivity. Mathematical Structures in Computer Science 17(6): 1153-1167 (2007)
2003
31EEJean-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
29EEJean-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
25EEJean-Yves Girard: On Denotational Completeness. Theor. Comput. Sci. 227(1-2): 249-273 (1999)
24EEJean-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
22EEJean-Yves Girard: Coherent Banach Spaces: a continuous denotational semantics. Electr. Notes Theor. Comput. Sci. 3: (1996)
21EEJean-Yves Girard: On denotational completeness. Electr. Notes Theor. Comput. Sci. 3: (1996)
20EEJean-Yves Girard, Mitsuhiro Okada, Andre Scedrov: Preface. Electr. Notes Theor. Comput. Sci. 3: (1996)
1994
19EEJean-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
11EEJean-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
9EEJean-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)

Coauthor Index

1V. Michele Abrusci [12]
2Peter J. Freyd [10]
3Yves Lafont [9]
4Dag Normann [15]
5Mitsuhiro Okada [20] [30]
6Peter Päppinghaus [1]
7Andre Scedrov [10] [14] [20] [30]
8Philip J. Scott [10] [14]
9Jacqueline Vauzeilles [2] [3]
10Jacques Van de Wiele [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)