Jean-Yves Girard

other persons with the same name:

• Jean-Yves Girard 0002

	2012
p1		Jean-Yves Girard: Normativity in Logic. Epistemology versus Ontology 2012: 243-263
	2011
j22		Jean-Yves Girard: Geometry of Interaction V: Logic in the hyperfinite factor. Theor. Comput. Sci. 412(20): 1860-1883 (2011)
	2007
j21		Jean-Yves Girard: Truth, modality and intersubjectivity. Mathematical Structures in Computer Science 17(6): 1153-1167 (2007)
	2003
j20		Jean-Yves Girard: From foundations to ludics. Bulletin of Symbolic Logic 9(2): 131-168 (2003)
j19		Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov: Preface. Theor. Comput. Sci. 294(3): 333 (2003)
	2001
j18		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)
c10		Jean-Yves Girard: Locus Solum: From the Rules of Logic to the Logic of Rules. CSL 2001: 38
	2000
c9		Jean-Yves Girard: Conférénce invitée: Négation et dualité en programmation logique. JFPLC 2000: 85-
	1999
j17		Jean-Yves Girard: On Denotational Completeness. Theor. Comput. Sci. 227(1-2): 249-273 (1999)
j16		Jean-Yves Girard: Coherent Banach Spaces: A Continuous Denotational Semantics. Theor. Comput. Sci. 227(1-2): 275-297 (1999)
e1		Jean-Yves Girard (Ed.): Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings. Lecture Notes in Computer Science 1581, Springer 1999, isbn 3-540-65763-0
	1998
j15		Jean-Yves Girard: Light Linear Logic. Inf. Comput. 143(2): 175-204 (1998)
	1996
j14		Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov: Preface. Electr. Notes Theor. Comput. Sci. 3: 1 (1996)
j13		Jean-Yves Girard: On denotational completeness. Electr. Notes Theor. Comput. Sci. 3: 75-80 (1996)
j12		Jean-Yves Girard: Coherent Banach Spaces: a continuous denotational semantics. Electr. Notes Theor. Comput. Sci. 3: 81-87 (1996)
	1994
c8		Jean-Yves Girard: Geometry of Interaction (Abstract). CONCUR 1994: 1
c7		Jean-Yves Girard: Light Linear Logic. LCC 1994: 145-176
	1993
j11		Jean-Yves Girard: On the Unity of Logic. Ann. Pure Appl. Logic 59(3): 201-217 (1993)
	1992
j10		Jean-Yves Girard, Dag Normann: Embeddability of PTYKES. J. Symb. Log. 57(2): 659-676 (1992)
j9		Jean-Yves Girard: Logic and Exceptions: A Few Remarks. J. Log. Comput. 2(2): 111-118 (1992)
j8		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
j7		Jean-Yves Girard: A New Constructive Logic: Classical Logic. Mathematical Structures in Computer Science 1(3): 255-296 (1991)
	1990
j6		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
c6		Jean-Yves Girard: Geometry of interaction 2: deadlock-free algorithms. Conference on Computer Logic 1988: 76-93
c5		Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott: Semantic Parametricity in Polymorphic Lambda Calculus. LICS 1988: 274-279
	1987
j5		Jean-Yves Girard: Linear Logic. Theor. Comput. Sci. 50: 1-102 (1987)
c4		Jean-Yves Girard, Yves Lafont: Linear Logic and Lazy Computation. TAPSOFT, Vol.2 1987: 52-66
	1986
j4		Jean-Yves Girard: The System F of Variable Types, Fifteen Years Later. Theor. Comput. Sci. 45(2): 159-192 (1986)
c3		Jean-Yves Girard: Linear Logic and Parallelism. Mathematical Models for the Semantics of Parallelism 1986: 166-182
c2		Jean-Yves Girard: Quantitative and Qualitative Semantics (Abstract of Invited Lecture). LICS 1986: 258
	1985
c1		Jean-Yves Girard: La mouche dans la bouteille. Logic Colloquium 1985: 9-12
	1984
j3		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)
j2		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
j1		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

Colors in the list of coauthors

Last update Tue May 21 15:43:08 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page