Jean-Yves Girard

Jean-Yves Girard's AcademicInfluence.com Rankings

Jean-Yves Girard

Philosophy

#292

World Rank

#664

Historical Rank

Logic

#27

World Rank

#92

Historical Rank

philosophy Degrees

Download Badge

Philosophy

Jean-Yves Girard's Degrees

PhD Mathematics Université Paris Cité

Why Is Jean-Yves Girard Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jean-Yves Girard is a French logician working in proof theory. He is a research director at the mathematical institute of University of Aix-Marseille, at Luminy. Biography Jean-Yves Girard is an alumnus of the École normale supérieure de Saint-Cloud.

(See a Problem?)

Jean-Yves Girard's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Proofs and types (1989) (1959)
Linear Logic (1987) (1752)
Interpretation fonctionelle et elimination des coupures dans l'aritmetique d'ordre superieur (1972) (839)
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types (1971) (582)
Linear logic: its syntax and semantics (1995) (492)
The System F of Variable Types, Fifteen Years Later (1986) (454)
Proof Theory and Logical Complexity (1989) (431)
A new constructive logic: classic logic (1991) (391)
Light Linear Logic (1994) (386)
Geometry of Interaction 1: Interpretation of System F (1989) (353)
Locus Solum: From the rules of logic to the logic of rules (2001) (297)
Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability (1992) (267)
On the Unity of Logic (1993) (247)
PROOF-NETS : THE PARALLEL SYNTAX FOR PROOF-THEORY (1996) (221)
Towards a geometry of interaction (1989) (210)
Advances in Linear Logic (1995) (181)
Linear Logic and Lazy Computation (1987) (144)
Normal functors, power series and λ-calculus (1988) (143)
Geometry of interaction 2: deadlock-free algorithms (1990) (139)
Geometry of interaction III: accommodating the additives (1995) (120)
Π12-logic, Part 1: Dilators (1981) (105)
The Blind Spot: Lectures on Logic (2011) (95)
Linear Logic in Computer Science: Between Logic and Quantic: a Tract (2004) (76)
Geometry of Interaction V: Logic in the hyperfinite factor (2011) (74)
Enabling applications for grid computing with globus (2003) (70)
On the meaning of logical rules I: syntax vs. semantics (1998) (65)
Normal Forms and Cut-Free Proofs as Natural Transformations (1992) (56)
Bounded Linear Logic (1991) (52)
Coherent Banach Spaces: a continuous denotational semantics (1999) (49)
From Foundations to Ludics (2003) (41)
Linear Logic: A Survey (1993) (34)
Linear logic in computer science (2004) (33)
On the meaning of logical rules I : Syntax versus semantics (1999) (32)
Semantic parametricity in polymorphic lambda calculus (1988) (28)
Linear Logic and Parallelism (1986) (27)
Geometry of interaction IV: the feedback equation (2006) (25)
Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture (1976) (24)
Genèse du pouvoir charismatique en basse Casamance (Sénégal) (1969) (20)
On denotational completeness (1999) (19)
Normativity in Logic (2012) (19)
On Geometry of Interaction (1995) (18)
Proof-Nets: the parallel syntax for proof-theory (2017) (17)
Le Point Aveugle II : Vers l'Imperfection (2007) (15)
Monte Carlo Valuation of Multidimensional American Options Through Grid Computing (2005) (15)
The system f of variable types, 15 years later (1990) (14)
Editors' note: bibliometrics and the curators of orthodoxy (2009) (13)
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy (1984) (12)
Transcendental syntax I: deterministic case (2015) (12)
Bounded Linear Logic: A Modular Approach to Polynomial Time Computability: Extended Abstract (1990) (11)
Functors and ordinal notations. I: A functorial construction of the veblen hierarchy (1984) (11)
Le Point Aveugle I : Vers la Perfection (2006) (10)
Design and implementation of an enterprise grid (2004) (10)
Truth, modality and intersubjectivity (2007) (9)
Three lightings of logic (2013) (9)
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series) (2004) (8)
Ouelques Resultats sur les Interpretations Fonctionnelles (1973) (8)
Transcendental syntax II : non deterministic case (2015) (8)
Logic and Exceptions: A Few Remarks (1992) (7)
Du Pourquoi au Comment: la Théorie de la Démonstration de 1950 à nos Jours (2000) (7)
Set recursion and Πhalf-logic (1985) (7)
TITRES ET TRAVAUX (2012) (6)
Review: W. W. Tait, Intensional Interpretations of Functionals of Finite Type I (1975) (6)
Geometry of Interaction VI : a blueprint for Transcendental Syntax (2013) (6)
Transcendental syntax III : equality (2018) (5)
Herbrand's Theorem and Proof-Theory (1982) (5)
Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects (2009) (5)
Proceedings of the workshop on Advances in linear logic (1995) (5)
A Survey Of ∏½-Logic (1982) (4)
Typed Lambda Calculi and Applications (2002) (4)
Geometry of Interaction (Abstract) (1994) (4)
Functional Interpretation and Kripke Models (1977) (4)
Introduction to Π21-logic (1985) (4)
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs (1984) (4)
Embeddability of ptykes (1992) (3)
1 A topological correctness criterion for multiplicative non-commutative logic (2016) (3)
Les Bassari du Sénégal, fils du caméléon : dynamique d'une culture troglodytique (1984) (3)
Three lightings of logic (Invited Talk) (2013) (3)
Transcendental Syntax iv: Logic Without Systems (2020) (3)
La Mouche Dans La Bouteille (En mémoire de Jean van Heijenoort, Institut Henri Poincaré, 14 mai 1986) (1987) (3)
L'or du Bambouk : une dynamique de civilisation ouest-africaine, du royaume de Gabou à la Casamance (1994) (2)
Introduction aux algèbres d ’ opérateurs I : Des espaces de Hilbert aux algèbres stellaires (2007) (2)
La mouche dans la bouteille (1985) (2)
Some uses of dilators in combinatorial problems. II (1990) (2)
A result on implications of Σ1-sentences and its application to normal form theorems (1981) (2)
Ludics : An Introduction (2002) (1)
Towards new logic and semantics : Franco‐Japanese collaborative lectures on philosophy of logic (2006) (1)
Theoretical Computer Science: Preface (2003) (1)
Characterization of stress conditions at depthHomestake Mine, Lead, South Dakota (1997) (1)
Cinq confèrences sur l'indécidabilitè (1983) (1)
Contrǒle anticipé de la température au moyen d'une calculatrice analogique (1966) (1)
Le théorème de Gödei (1990) (1)
Electronic Notes in Theoretical Computer Science: Preface (1996) (1)
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (1999) (1)
Quelques considérations sur le cyto-diagnostic des tumeurs bronchiques par aspiration dirigée; a propos de 100 cas. (1954) (0)
Linda Sorgini : perfectionniste, excessive et passionnée (1988) (0)
Jean-Yves Girard : « Le plus difficile est de formuler le problème » (2007) (0)
La gluconéogenèse : une voie métabolique essentielle au maintien de l'homéostasie glucidique du nouveau-né (1993) (0)
The fly in the bottle (in memory of Jean van Heijenoort) (1992) (0)
Épidémiologie et survie à 2 ans des fractures de l'extrémité supérieure du fémur après 75 ans (2002) (0)
REVIEWS-Linear logic in computer science (2006) (0)
The phantom of transparency (2008) (0)
MSC volume 21 issue 5 Cover and Back matter (2011) (0)
INTRODUCTION TO $\prod^{1}_{2}$-LOGIC (2003) (0)
Reprise des descellements aseptiques de prothèses totales de hanche : par cupule impactée et pièce fémorale non scellées, avec allogreffes (2002) (0)
Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (1999) (0)
Linear Logic : Its Syntax and Semantics 1 the Syntax of Linear Logic 1.1 the Connectives of Linear Logic (1995) (0)
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (1987) (0)
Speakers and Titles 1 Tutorial Speakers 2 Plenary Speakers (0)
2001 annual meeting of the association for symbolic logic (2001) (0)
Five Conferences on Undecidability (2007) (0)
2003 european summer meeting of the association for symbolic logic logic colloquim'03 (2004) (0)
Conférénce invitée: Négation et dualité en programmation logique (2000) (0)
Les cystadénomes pancréatiques. Problèmes actuels. A propos d'une série de 26 cas (1990) (0)
Transcendental syntax 2 . 0 (2012) (0)
La logique comme géométrie du cognitif (manifeste) (2007) (0)
Peter Froehlich : Une quête constante de l’idéal (1986) (0)
Quantitative and Qualitative Semantics (Abstract of Invited Lecture) (1986) (0)
Preface (2010) (0)
Preface (2003) (0)

This paper list is powered by the following services:

Other Resources About Jean-Yves Girard

What Schools Are Affiliated With Jean-Yves Girard?

Jean-Yves Girard is affiliated with the following schools:

Université Paris Cité

Jean-Yves Girard's Academic­Influence.com Rankings