Jean-Yves Girard

41 papers A* 2B 3Journal 23Unranked 10
YearRankTypeTitle / Venue / Authors
2020 — conf
Transcendental Syntax iv: Logic Without Systems.
Logic, Language, and Security
Jean-Yves Girard
2017 J jnl
Transcendental syntax I: deterministic case.
Math. Struct. Comput. Sci.
Jean-Yves Girard
2013 B conf
Three lightings of logic (Invited Talk).
CSL
Jean-Yves Girard
2012 — ch.
Normativity in Logic.
Epistemology versus Ontology
Jean-Yves Girard
2011 J jnl
Geometry of Interaction V: Logic in the hyperfinite factor.
Theor. Comput. Sci.
Jean-Yves Girard
2007 J jnl
Truth, modality and intersubjectivity.
Math. Struct. Comput. Sci.
Jean-Yves Girard
2003 J jnl
From foundations to ludics.
Bull. Symb. Log.
Jean-Yves Girard
2003 J jnl
Preface.
Theor. Comput. Sci.
Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov
2001 B conf
Locus Solum: From the Rules of Logic to the Logic of Rules.
CSL
Jean-Yves Girard
2001 J jnl
Locus Solum: From the rules of logic to the logic of rules.
Math. Struct. Comput. Sci.
Jean-Yves Girard
2000 — conf
Conférénce invitée: Négation et dualité en programmation logique.
JFPLC
Jean-Yves Girard
1999 J jnl
Coherent Banach Spaces: A Continuous Denotational Semantics.
Theor. Comput. Sci.
Jean-Yves Girard
1999 J jnl
On Denotational Completeness.
Theor. Comput. Sci.
Jean-Yves Girard
1999 — ed.
Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
TLCA
Jean-Yves Girard
1998 J jnl
Light Linear Logic.
Inf. Comput.
Jean-Yves Girard
1996 — conf
Coherent Banach Spaces: a continuous denotational semantics.
Linear Logic Tokyo Meeting
Jean-Yves Girard
1996 — ed.
Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996
Linear Logic Tokyo Meeting
Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov
1996 — conf
On denotational completeness.
Linear Logic Tokyo Meeting
Jean-Yves Girard
1996 — conf
Preface.
Linear Logic Tokyo Meeting
Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov
1994 B conf
Geometry of Interaction (Abstract).
CONCUR
Jean-Yves Girard
1994 — conf
Light Linear Logic.
LCC
Jean-Yves Girard
1993 J jnl
On the Unity of Logic.
Ann. Pure Appl. Log.
Jean-Yves Girard
1992 J jnl
Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability.
Theor. Comput. Sci.
Jean-Yves Girard, Andre Scedrov, Philip J. Scott
1992 J jnl
Embeddability of PTYKES.
J. Symb. Log.
Jean-Yves Girard, Dag Normann
1992 J jnl
Logic and Exceptions: A Few Remarks.
J. Log. Comput.
Jean-Yves Girard
1991 J jnl
A New Constructive Logic: Classical Logic.
Math. Struct. Comput. Sci.
Jean-Yves Girard
1990 J jnl
Some Uses of Dilators in Combinatorial Problems, II.
J. Symb. Log.
V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele
1988 — conf
Geometry of interaction 2: deadlock-free algorithms.
Conference on Computer Logic
Jean-Yves Girard
1988 J jnl
Normal functors, power series and λ-calculus.
Ann. Pure Appl. Log.
Jean-Yves Girard
1988 A* conf
Semantic Parametricity in Polymorphic Lambda Calculus
LICS
Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott
1987 — conf
Linear Logic and Lazy Computation.
TAPSOFT, Vol.2
Jean-Yves Girard, Yves Lafont
1987 J jnl
Linear Logic.
Theor. Comput. Sci.
Jean-Yves Girard
1986 — conf
Linear Logic and Parallelism.
Mathematical Models for the Semantics of Parallelism
Jean-Yves Girard
1986 A* conf
Quantitative and Qualitative Semantics (Abstract of Invited Lecture)
LICS
Jean-Yves Girard
1986 J jnl
The System F of Variable Types, Fifteen Years Later.
Theor. Comput. Sci.
Jean-Yves Girard
1985 — conf
La mouche dans la bouteille.
Logic Colloquium
Jean-Yves Girard
1985 J jnl
Set recursion and Πhalf-logic.
Ann. Pure Appl. Log.
Jean-Yves Girard, Dag Normann
1984 J jnl
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy.
J. Symb. Log.
Jean-Yves Girard, Jacqueline Vauzeilles
1984 J jnl
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy.
J. Symb. Log.
Jean-Yves Girard, Jacqueline Vauzeilles
1984 J jnl
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs.
Arch. Math. Log.
Jean-Yves Girard, Jacqueline Vauzeilles
1981 J jnl
A Result on Implications of sigma;
J. Symb. Log.
Jean-Yves Girard, Peter Päppinghaus