×

zbMATH — the first resource for mathematics

Girard, Jean-Yves

Compute Distance To:
Author ID: girard.jean-yves Recent zbMATH articles by "Girard, Jean-Yves"
Published as: Girard, J. Y.; Girard, J.-Y.; Girard, Jean Yves; Girard, Jean-Yves
External Links: MGP · Wikidata · GND
Documents Indexed: 74 Publications since 1971, including 9 Books
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH Open

60 Publications have been cited 1,926 times in 1,311 Documents Cited by Year
Linear logic. Zbl 0625.03037
Girard, Jean-Yves
726
1987
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
257
1989
The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013
Girard, Jean-Yves
112
1986
Proof theory and logical complexity. Volume I. Zbl 0635.03052
Girard, Jean-Yves
98
1987
Light linear logic. Zbl 0912.03025
Girard, Jean-Yves
64
1998
Locus solum: From the rules of logic to the logic of rules. Zbl 1051.03045
Girard, Jean-Yves
62
2001
A new constructive logic: Classical logic. Zbl 0752.03027
Girard, Jean-Yves
61
1991
Linear logic and lazy computation. Zbl 0647.03016
Girard, J. Y.; Lafont, Y.
57
1987
Linear logic: Its syntax and semantics. Zbl 0828.03003
Girard, Jean-Yves
48
1995
\(\Pi_2^1\)-logic. I: Dilators. Zbl 0496.03037
Girard, Jean-Yves
42
1981
Bounded linear logic: A modular approach to polynomial-time computability. Zbl 0788.03005
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
41
1992
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
33
1993
Normal functors, power series and \(\lambda\)-calculus. Zbl 0646.03056
Girard, Jean-Yves
32
1988
Proof-nets: The parallel syntax for proof-theory. Zbl 0868.03025
Girard, Jean-Yves
28
1996
Geometry of interaction. III: Accommodating the additives. Zbl 0828.03027
Girard, Jean-Yves
23
1995
Three-valued logic and cut-elimination: The actual meaning of Takeuti’s conjecture. Zbl 0357.02027
Girard, J. Y.
15
1976
Geometry of interaction. V: Logic in the hyperfinite factor. Zbl 1230.03093
Girard, Jean-Yves
14
2011
On the meaning of logical rules. I: Syntax versus semantics. Zbl 0962.03055
Girard, Jean-Yves
13
1999
Normal forms and cut-free proofs as natural transformations. Zbl 0753.03024
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
12
1992
Multiplicatives. Zbl 0667.03046
Girard, Jean-Yves
12
1987
Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types.(An extension of Gödel’s interpretation to analysis and its application to cut elimination in analysis and type theory). Zbl 0221.02013
Girard, Jean-Yves
12
1971
Geometry of interaction. I: Interpretation of system F. Zbl 0686.03030
Girard, Jean-Yves
11
1989
Towards a geometry of interactions. Zbl 0672.03039
Girard, Jean-Yves
10
1989
Functors and ordinal notations. I: A functorial construction of the Veblen hierarchy. Zbl 0568.03027
Girard, Jean-Yves; Vauzeilles, Jacqueline
10
1984
Between logic and quantic: a tract. Zbl 1073.03036
Girard, Jean-Yves
9
2004
Coherent Banach spaces: A continuous denotational semantics. Zbl 0952.03025
Girard, Jean-Yves
9
1999
Normativity in logic. Zbl 1314.03051
Girard, Jean-Yves
8
2012
The blind spot. Lectures on logic. Zbl 1238.03045
Girard, Jean-Yves
8
2011
Geometry of interaction. IV: The feedback equation. Zbl 1105.03064
Girard, Jean-Yves
8
2006
Geometry of interaction. II: Deadlock-free algorithms. Zbl 0716.03047
Girard, Jean-Yves
7
1990
Bounded linear logic: A modular approach to polynomial time computability. Extended abstract. Zbl 0773.03007
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
6
1990
The blind spot. Course in logic. I. On the perfection. Zbl 1243.00003
Girard, Jean-Yves
5
2006
On denotational completeness. Zbl 0959.03050
Girard, Jean-Yves
5
1999
Set recursion and \(\Pi ^ 1_ 2\)-logic. Zbl 0575.03034
Girard, Jean-Yves; Normann, Dag
5
1985
Introduction to \(\Pi^1_2\)-logic. Zbl 1069.03503
Girard, Jean-Yves
5
1985
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy. Zbl 0568.03028
Girard, Jean-Yves; Vauzeilles, Jacqueline
5
1984
From foundations to ludics. Zbl 1056.03035
Girard, Jean-Yves
4
2003
On the meaning of logical rules. II: Multiplicatives and additives. Zbl 1031.03075
Girard, Jean-Yves
4
2000
A survey of \(\Pi_2^1\)-logic. Zbl 0496.03038
Girard, J.-Y.
4
1982
The blind spot. Course on logic. II. On the imperfection. Zbl 1243.00004
Girard, Jean-Yves
3
2007
Monte Carlo valuation of multidimensional American options through grid computing. Zbl 1142.65305
Toke, Ioane Muni; Girard, Jean-Yves
3
2006
Linear logic and parallelism. Zbl 0629.03036
Girard, Jean-Yves
3
1987
La mouche dans la bouteille. (The fly in the bottle). Zbl 0623.01012
Girard, J. Y.
3
1987
Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. Zbl 0556.03043
Girard, J. Y.; Vauzeilles, J.
3
1984
Herbrand’s theorem and proof-theory. Zbl 0496.03036
Girard, Jean-Yves
3
1982
Functionals and ordinoids. Zbl 0441.03012
Girard, J. Y.
3
1977
Transcendental syntax. I: Deterministic case. Zbl 1423.03248
Girard, Jean-Yves
2
2017
Three lightings of logic (invited talk). Zbl 1356.03015
Girard, Jean-Yves
2
2013
Truth, modality and intersubjectivity. Zbl 1146.03003
Girard, Jean-Yves
2
2007
Locus solum: From the rules of logic to the logic of rules. Zbl 0999.68545
Girard, Jean-Yves
2
2001
Some uses of dilators in combinatorial problems. I. Zbl 0634.03057
Abrusci, V. M.; Girard, J. Y.; Van de Wiele, J.
2
1987
Elements de logique \(\Pi ^ 1_ n\). Zbl 0573.03029
Girard, Jean-Yves; Ressayre, Jean Pierre
2
1985
On denotional completeness. (Extended abstract). Zbl 0908.03010
Girard, Jean-Yves
1
1996
Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Zbl 0816.00018
Girard, Jean-Yves (ed.); Lafont, Yves (ed.); Regnier, Laurent (ed.)
1
1995
Embeddability of ptykes. Zbl 0777.03015
Girard, Jean-Yves; Normann, Dag
1
1992
The fly in the bottle (In memory of Jean van Heijenoort). Zbl 0757.01022
Girard, Jean-Yves
1
1992
Logic and exceptions: A few remarks. Zbl 0760.03017
Girard, Jean-Yves
1
1992
Le lambda-calcul du second ordre. (The second-order lambda-calculus). Zbl 0645.03013
Girard, Jean-Yves
1
1987
A result on implications of \(Sigma_ 1-\)sentences and its application to normal form theorems. Zbl 0469.03039
Girard, Jean-Yves; Päppinghaus, Peter
1
1981
Quelques résultats sur les interpretations fonctionnelles. Zbl 0287.02017
Girard, J. Y.
1
1973
Transcendental syntax. I: Deterministic case. Zbl 1423.03248
Girard, Jean-Yves
2
2017
Three lightings of logic (invited talk). Zbl 1356.03015
Girard, Jean-Yves
2
2013
Normativity in logic. Zbl 1314.03051
Girard, Jean-Yves
8
2012
Geometry of interaction. V: Logic in the hyperfinite factor. Zbl 1230.03093
Girard, Jean-Yves
14
2011
The blind spot. Lectures on logic. Zbl 1238.03045
Girard, Jean-Yves
8
2011
The blind spot. Course on logic. II. On the imperfection. Zbl 1243.00004
Girard, Jean-Yves
3
2007
Truth, modality and intersubjectivity. Zbl 1146.03003
Girard, Jean-Yves
2
2007
Geometry of interaction. IV: The feedback equation. Zbl 1105.03064
Girard, Jean-Yves
8
2006
The blind spot. Course in logic. I. On the perfection. Zbl 1243.00003
Girard, Jean-Yves
5
2006
Monte Carlo valuation of multidimensional American options through grid computing. Zbl 1142.65305
Toke, Ioane Muni; Girard, Jean-Yves
3
2006
Between logic and quantic: a tract. Zbl 1073.03036
Girard, Jean-Yves
9
2004
From foundations to ludics. Zbl 1056.03035
Girard, Jean-Yves
4
2003
Locus solum: From the rules of logic to the logic of rules. Zbl 1051.03045
Girard, Jean-Yves
62
2001
Locus solum: From the rules of logic to the logic of rules. Zbl 0999.68545
Girard, Jean-Yves
2
2001
On the meaning of logical rules. II: Multiplicatives and additives. Zbl 1031.03075
Girard, Jean-Yves
4
2000
On the meaning of logical rules. I: Syntax versus semantics. Zbl 0962.03055
Girard, Jean-Yves
13
1999
Coherent Banach spaces: A continuous denotational semantics. Zbl 0952.03025
Girard, Jean-Yves
9
1999
On denotational completeness. Zbl 0959.03050
Girard, Jean-Yves
5
1999
Light linear logic. Zbl 0912.03025
Girard, Jean-Yves
64
1998
Proof-nets: The parallel syntax for proof-theory. Zbl 0868.03025
Girard, Jean-Yves
28
1996
On denotional completeness. (Extended abstract). Zbl 0908.03010
Girard, Jean-Yves
1
1996
Linear logic: Its syntax and semantics. Zbl 0828.03003
Girard, Jean-Yves
48
1995
Geometry of interaction. III: Accommodating the additives. Zbl 0828.03027
Girard, Jean-Yves
23
1995
Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Zbl 0816.00018
Girard, Jean-Yves (ed.); Lafont, Yves (ed.); Regnier, Laurent (ed.)
1
1995
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
33
1993
Bounded linear logic: A modular approach to polynomial-time computability. Zbl 0788.03005
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
41
1992
Normal forms and cut-free proofs as natural transformations. Zbl 0753.03024
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
12
1992
Embeddability of ptykes. Zbl 0777.03015
Girard, Jean-Yves; Normann, Dag
1
1992
The fly in the bottle (In memory of Jean van Heijenoort). Zbl 0757.01022
Girard, Jean-Yves
1
1992
Logic and exceptions: A few remarks. Zbl 0760.03017
Girard, Jean-Yves
1
1992
A new constructive logic: Classical logic. Zbl 0752.03027
Girard, Jean-Yves
61
1991
Geometry of interaction. II: Deadlock-free algorithms. Zbl 0716.03047
Girard, Jean-Yves
7
1990
Bounded linear logic: A modular approach to polynomial time computability. Extended abstract. Zbl 0773.03007
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
6
1990
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
257
1989
Geometry of interaction. I: Interpretation of system F. Zbl 0686.03030
Girard, Jean-Yves
11
1989
Towards a geometry of interactions. Zbl 0672.03039
Girard, Jean-Yves
10
1989
Normal functors, power series and \(\lambda\)-calculus. Zbl 0646.03056
Girard, Jean-Yves
32
1988
Linear logic. Zbl 0625.03037
Girard, Jean-Yves
726
1987
Proof theory and logical complexity. Volume I. Zbl 0635.03052
Girard, Jean-Yves
98
1987
Linear logic and lazy computation. Zbl 0647.03016
Girard, J. Y.; Lafont, Y.
57
1987
Multiplicatives. Zbl 0667.03046
Girard, Jean-Yves
12
1987
Linear logic and parallelism. Zbl 0629.03036
Girard, Jean-Yves
3
1987
La mouche dans la bouteille. (The fly in the bottle). Zbl 0623.01012
Girard, J. Y.
3
1987
Some uses of dilators in combinatorial problems. I. Zbl 0634.03057
Abrusci, V. M.; Girard, J. Y.; Van de Wiele, J.
2
1987
Le lambda-calcul du second ordre. (The second-order lambda-calculus). Zbl 0645.03013
Girard, Jean-Yves
1
1987
The system \({\mathcal F}\) of variable types, fifteen years later. Zbl 0623.03013
Girard, Jean-Yves
112
1986
Set recursion and \(\Pi ^ 1_ 2\)-logic. Zbl 0575.03034
Girard, Jean-Yves; Normann, Dag
5
1985
Introduction to \(\Pi^1_2\)-logic. Zbl 1069.03503
Girard, Jean-Yves
5
1985
Elements de logique \(\Pi ^ 1_ n\). Zbl 0573.03029
Girard, Jean-Yves; Ressayre, Jean Pierre
2
1985
Functors and ordinal notations. I: A functorial construction of the Veblen hierarchy. Zbl 0568.03027
Girard, Jean-Yves; Vauzeilles, Jacqueline
10
1984
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy. Zbl 0568.03028
Girard, Jean-Yves; Vauzeilles, Jacqueline
5
1984
Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. Zbl 0556.03043
Girard, J. Y.; Vauzeilles, J.
3
1984
A survey of \(\Pi_2^1\)-logic. Zbl 0496.03038
Girard, J.-Y.
4
1982
Herbrand’s theorem and proof-theory. Zbl 0496.03036
Girard, Jean-Yves
3
1982
\(\Pi_2^1\)-logic. I: Dilators. Zbl 0496.03037
Girard, Jean-Yves
42
1981
A result on implications of \(Sigma_ 1-\)sentences and its application to normal form theorems. Zbl 0469.03039
Girard, Jean-Yves; Päppinghaus, Peter
1
1981
Functionals and ordinoids. Zbl 0441.03012
Girard, J. Y.
3
1977
Three-valued logic and cut-elimination: The actual meaning of Takeuti’s conjecture. Zbl 0357.02027
Girard, J. Y.
15
1976
Quelques résultats sur les interpretations fonctionnelles. Zbl 0287.02017
Girard, J. Y.
1
1973
Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types.(An extension of Gödel’s interpretation to analysis and its application to cut elimination in analysis and type theory). Zbl 0221.02013
Girard, Jean-Yves
12
1971
all top 5

Cited by 1,134 Authors

20 Ehrhard, Thomas
17 Girard, Jean-Yves
17 Kanovich, Max Iosifovich
16 Dal Lago, Ugo
16 Olarte, Carlos
15 Abramsky, Samson
15 Scedrov, Andre
15 Scott, Philip J.
13 Avron, Arnon
13 Blute, Richard F.
13 Mackie, Ian
13 Pimentel, Elaine
12 Pym, David J.
12 Vauzeilles, Jacqueline
11 Japaridze, Giorgi
11 Miller, Dale Allen
11 Tortora de Falco, Lorenzo
10 Fernández, Maribel
10 Masini, Andrea
10 Nigam, Vivek
10 Pfenning, Frank
10 Straßburger, Lutz
10 Terui, Kazushige
9 Baillot, Patrick
9 Buszkowski, Wojciech
9 Galmiche, Didier
9 Nour, Karim
9 Yoshida, Nobuko
8 Abrusci, Vito Michele
8 Kamide, Norihiro
8 Kesner, Delia
8 Melliès, Paul-André
8 Pagani, Michele
8 Seiller, Thomas
7 Coquand, Thierry
7 Curien, Pierre-Louis
7 Hofmann, Martin
7 Laurent, Olivier
7 Leitsch, Alexander
7 Martini, Simone
7 Okada, Mitsuhiro
7 Ronchi Della Rocca, Simona
7 van Bakel, Steffen
6 Baaz, Matthias
6 Bucciarelli, Antonio
6 Carbone, Antonio
6 Cervesato, Iliano
6 Danos, Vincent
6 Došen, Kosta
6 Faggian, Claudia
6 Ferreira, Gilda
6 Guerrini, Stefano
6 Hamano, Masahiro
6 Honda, Kohei
6 Hyland, J. Martin E.
6 Jäger, Gerhard
6 Joinet, Jean-Baptiste
6 Maieli, Roberto
6 Manzonetto, Giulio
6 Mazza, Damiano
6 Pulcini, Gabriele
6 Qiu, Daowen
6 Saurin, Alexis
6 Tasson, Christine
6 Weiermann, Andreas
6 Winskel, Glynn
5 Abel, Andreas M.
5 Alves, Sandra
5 Asperti, Andrea
5 Cockett, J. Robin B.
5 de Carvalho, Daniel
5 Dowek, Gilles
5 Ferreira, Fernando
5 Florido, Mário
5 Fu, Yuxi
5 Gabbay, Dov M.
5 Gallier, Jean H.
5 Kuznetsov, Stepan L’vovich
5 Lafont, Yves
5 Lambek, Joachim
5 Lincoln, Patrick D.
5 Liquori, Luigi
5 McCusker, Guy Andrew
5 Morrill, Glyn V.
5 Paoli, Francesco
5 Paolini, Luca
5 Pistone, Paolo
5 Quatrini, Myriam
5 Rathjen, Michael
5 Regnier, Laurent
5 Retoré, Christian
5 Rosenthal, Kimmo I.
5 Roversi, Luca
5 Schellinx, Harold
5 Slavnov, Sergey
5 Solov’ëv, Sergeĭ Vladimirovich
5 Vaux, Lionel
5 Wainer, Stanley Scott
5 Zhang, Guo-Qiang
4 Accattoli, Beniamino
...and 1,034 more Authors
all top 5

Cited in 103 Serials

222 Theoretical Computer Science
129 Annals of Pure and Applied Logic
87 Information and Computation
82 MSCS. Mathematical Structures in Computer Science
61 The Journal of Symbolic Logic
32 Studia Logica
32 Archive for Mathematical Logic
24 Journal of Pure and Applied Algebra
24 Journal of Logic, Language and Information
23 Journal of Automated Reasoning
22 Journal of Philosophical Logic
21 Fuzzy Sets and Systems
21 The Bulletin of Symbolic Logic
18 Logical Methods in Computer Science
16 Journal of Applied Logic
14 Journal of Applied Non-Classical Logics
12 Journal of Functional Programming
10 International Journal of Theoretical Physics
10 Annals of Mathematics and Artificial Intelligence
9 RAIRO. Informatique Théorique et Applications
9 Mathematical Logic Quarterly (MLQ)
8 Notre Dame Journal of Formal Logic
8 Logica Universalis
7 Journal of Symbolic Computation
7 Formal Aspects of Computing
7 Applied Categorical Structures
7 RAIRO. Theoretical Informatics and Applications
6 Synthese
6 The Review of Symbolic Logic
5 Artificial Intelligence
5 Archiv für Mathematische Logik und Grundlagenforschung
5 Information Processing Letters
5 Journal of Logical and Algebraic Methods in Programming
4 Acta Informatica
4 Journal of Computer Science and Technology
4 Theory and Applications of Categories
4 Topoi
4 Higher-Order and Symbolic Computation
4 The Journal of Logic and Algebraic Programming
3 Cahiers de Topologie et Géométrie Différentielle Catégoriques
3 Journal of Computer and System Sciences
3 Transactions of the American Mathematical Society
3 History and Philosophy of Logic
3 New Generation Computing
3 Computational and Applied Mathematics
3 Diagrammes
3 Soft Computing
3 Logic and Logical Philosophy
3 Theory and Practice of Logic Programming
2 Computers & Mathematics with Applications
2 Advances in Mathematics
2 Algebra Universalis
2 Semigroup Forum
2 Bulletin of the Section of Logic
2 Science of Computer Programming
2 International Journal of Foundations of Computer Science
2 Indagationes Mathematicae. New Series
2 Applicable Algebra in Engineering, Communication and Computing
2 Journal of Mathematical Sciences (New York)
2 Theory of Computing Systems
2 Comptes Rendus. Mathématique. Académie des Sciences, Paris
2 ACM Transactions on Computational Logic
2 Open Mathematics
2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Mathematical Notes
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Algebra and Logic
1 BIT
1 Czechoslovak Mathematical Journal
1 Journal of Algebra
1 Kybernetika
1 Mathematics and Computers in Simulation
1 Proceedings of the American Mathematical Society
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Rendiconti del Circolo Matemàtico di Palermo. Serie II
1 Software. Practice & Experience
1 Cybernetics and Systems
1 International Journal of Approximate Reasoning
1 Applied Mathematics Letters
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Geometric and Functional Analysis. GAFA
1 Automation and Remote Control
1 Distributed Computing
1 Formal Methods in System Design
1 Journal of the Egyptian Mathematical Society
1 Sbornik: Mathematics
1 Constraints
1 Acta Mathematica et Informatica Universitatis Ostraviensis
1 Journal of the ACM
1 Erkenntnis
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Journal of the Australian Mathematical Society
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 SIAM Journal on Financial Mathematics
1 RAIRO. Theoretical Informatics and Applications
1 European Journal for Philosophy of Science
1 Frontiers of Computer Science in China
1 Journal of Theoretical Biology
1 Axioms
1 Nonlinear Analysis. Theory, Methods & Applications
...and 3 more Serials

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.