Jean-Yves Girard

Publication Activity (10 Years)

Years Active: 1981-2020
Publications (10 Years): 2

Top Topics

Multiresolution

Asynchronous Circuits

Classical Logic

Top Venues

Math. Struct. Comput. Sci.

Logic, Language, and Security

Publications

Jean-Yves Girard
Transcendental Syntax iv: Logic Without Systems. Logic, Language, and Security (2020)
Jean-Yves Girard
Transcendental syntax I: deterministic case. Math. Struct. Comput. Sci. 27 (5) (2017)
Jean-Yves Girard
Three lightings of logic (Invited Talk). CSL (2013)
Jean-Yves Girard
Geometry of Interaction V: Logic in the hyperfinite factor. Theor. Comput. Sci. 412 (20) (2011)
Jean-Yves Girard
Truth, modality and intersubjectivity. Math. Struct. Comput. Sci. 17 (6) (2007)
Jean-Yves Girard
From foundations to ludics. Bull. Symb. Log. 9 (2) (2003)
Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov
Preface. Theor. Comput. Sci. 294 (3) (2003)
Jean-Yves Girard
Locus Solum: From the Rules of Logic to the Logic of Rules. CSL (2001)
Jean-Yves Girard
Locus Solum: From the rules of logic to the logic of rules. Math. Struct. Comput. Sci. 11 (3) (2001)
Jean-Yves Girard
Conférénce invitée: Négation et dualité en programmation logique. JFPLC (2000)
Jean-Yves Girard
Coherent Banach Spaces: A Continuous Denotational Semantics. Theor. Comput. Sci. 227 (1-2) (1999)
Jean-Yves Girard
On Denotational Completeness. Theor. Comput. Sci. 227 (1-2) (1999)
Jean-Yves Girard
Light Linear Logic. Inf. Comput. 143 (2) (1998)
Jean-Yves Girard
Coherent Banach Spaces: a continuous denotational semantics. Electron. Notes Theor. Comput. Sci. 3 (1996)
Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov
Preface. Electron. Notes Theor. Comput. Sci. 3 (1996)
Jean-Yves Girard
On denotational completeness. Electron. Notes Theor. Comput. Sci. 3 (1996)
Jean-Yves Girard
Light Linear Logic. LCC (1994)
Jean-Yves Girard
Geometry of Interaction (Abstract). CONCUR (1994)
Jean-Yves Girard
On the Unity of Logic. Ann. Pure Appl. Log. 59 (3) (1993)
Jean-Yves Girard, Andre Scedrov, Philip J. Scott
Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. Theor. Comput. Sci. 97 (1) (1992)
Jean-Yves Girard, Dag Normann
Embeddability of PTYKES. J. Symb. Log. 57 (2) (1992)
Jean-Yves Girard
Logic and Exceptions: A Few Remarks. J. Log. Comput. 2 (2) (1992)
Jean-Yves Girard
A New Constructive Logic: Classical Logic. Math. Struct. Comput. Sci. 1 (3) (1991)
V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele
Some Uses of Dilators in Combinatorial Problems, II. J. Symb. Log. 55 (1) (1990)
Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott
Semantic Parametricity in Polymorphic Lambda Calculus LICS (1988)
Jean-Yves Girard
Normal functors, power series and λ-calculus. Ann. Pure Appl. Log. 37 (2) (1988)
Jean-Yves Girard
Geometry of interaction 2: deadlock-free algorithms. Conference on Computer Logic (1988)
Jean-Yves Girard
Linear Logic. Theor. Comput. Sci. 50 (1987)
Jean-Yves Girard, Yves Lafont
Linear Logic and Lazy Computation. TAPSOFT, Vol.2 (1987)
Jean-Yves Girard
Quantitative and Qualitative Semantics (Abstract of Invited Lecture) LICS (1986)
Jean-Yves Girard
Linear Logic and Parallelism. Mathematical Models for the Semantics of Parallelism (1986)
Jean-Yves Girard
The System F of Variable Types, Fifteen Years Later. Theor. Comput. Sci. 45 (2) (1986)
Jean-Yves Girard
La mouche dans la bouteille. Logic Colloquium (1985)
Jean-Yves Girard, Dag Normann
Set recursion and Πhalf-logic. Ann. Pure Appl. Log. 28 (3) (1985)
Jean-Yves Girard, Jacqueline Vauzeilles
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy. J. Symb. Log. 49 (4) (1984)
Jean-Yves Girard, Jacqueline Vauzeilles
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs. Arch. Math. Log. 24 (1) (1984)
Jean-Yves Girard, Jacqueline Vauzeilles
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. J. Symb. Log. 49 (3) (1984)
Jean-Yves Girard, Peter Päppinghaus
-Sentences and Its Application to Normal Form Theorems. J. Symb. Log. 46 (3) (1981)