Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Jean-Yves GIRARD

Année
Publications
Files Type
  Girard Jean-Yves.
Geometry of interaction VI: a blueprint for transcendental syntax.
January 2013.
PDF AP
2012 Girard Jean-Yves.
Normativity in logic.
Epistemology versus ontology, 243--263, Log. Epistemol. Unity Sci., 27, Springer, Dordrecht, 2012
PDF ACL
2011 Girard Jean-Yves.
The Blind Spot: Lectures on Logic.
European Mathematical Society, 550 pages, ISBN 978-3-03719-088-3, DOI 10.4171/088, septembre 2011.
EMS OS
  Girard Jean-Yves.
La syntaxe transcendantale.
Manifeste, 26 mai 2011.
PDF AP
  Girard Jean-Yves.
Geometry of interaction V: logic in the hyperfinite factor.
Theoret. Comput. Sci. 412, no. 20, 1860--1883, 2011.
  ACL
2009 Girard Jean-Yves.
Prédire la difficulté d'un problème est impossible.
Les dossiers de La Recherche n°37, entretien, novembre 2009.
PDF OV
2007

Girard Jean-Yves.
Truth, modality and intersubjectivity.
Math. Structures Comput. Sci. 17, no. 6, 1153--1167, 2007.

  ACL
 

Girard Jean-Yves.
Le point aveugle, cours de logique, tome 2 : vers l'imperfection.
Editions Hermann, collection "Visions des Sciences", environ 275 pages, dont un index détaillé de 21 pp., Mars 2007.

  OS
2006

Girard Jean-Yves.
Le point aveugle, cours de logique, tome 1 : vers la perfection.
Editions Hermann, collection "Visions des Sciences", 296 pp., dont un index détaillé de 12 pp., Juin 2006.

  OS
  Muni Toke Ioane, Girard Jean-Yves.
Monte Carlo valuation of multidimensional American options through grid computing.
Large-scale scientific computing, 462--469, Lecture Notes in Comput. Sci., 3743, Springer, Berlin, 2006.
  ACL
 

Girard Jean-Yves.
Geometry of interaction IV: the feedback equation.
Association for Symbolic Logic, Logic Colloquium 2003 , 76--117, 2006.

  INV
2004

Girard Jean-Yves.
Between logic and quantic: a tract.
Linear logic in computer science, 346--381, London Math. Soc. Lecture Note Ser., 316, Cambridge Univ. Press, Cambridge, 2004.

   
  Ehrhard Thomas, Girard Jean-Yves, Ruet Paul, Scott Philip.
Linear logic in computer science.
Papers from the Azores Summer School held in St. Miguel, August 30--September 7, 2000. Edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet and Philip Scott. London Mathematical Society Lecture Note Series, 316. Cambridge University Press, Cambridge. x+381 pp. ISBN: 0-521-60857-0, 2004.
   
 

Girard Jean-Yves.
Geometry of interaction IV: the feedback equation.
Proceedings of the Helsinki meeting, 2004.

   
2003 Girard Jean-Yves.
From foundations to ludics.
New programs and open problems in the foundation of mathematics (Paris, 2000). Bull. Symbolic Logic 9, no. 2, 131--168, 2003.
   
  Girard Jean-Yves, Okada M., Scedrov A.
Linear logic.
Papers from the meeting held at Keio University, Tokyo, March 28--April 2, 1996. Edited by J.-Y. Girard, M. Okada and A. Scedrov. Theoret. Comput. Sci. 294, no. 3. Elsevier Science Publishers, B.V., Amsterdam, 2003. pp. i--iv and 333--573, 2003.
   
2002

Girard Jean-Yves.
Ludics: an introduction.
Proof and system-reliability (Marktoberdorf, 2001), 167--211, NATO Sci. Ser. II Math. Phys. Chem., 62, Kluwer Acad. Publ., Dordrecht, 2002.

   
2001 Girard Jean-Yves.
Locus solum : from the rules of logic to the logic of rules.
Math. Structures Comput. Sci. 11, no. 3, 301--506, 2001.
   
2000 Girard Jean-Yves.
Du pourquoi au comment : la théorie de la démonstration de 1950 à nos jours [From why to how : proof theory from 1950 to today].
Development of mathematics 1950--2000, 515--545, Birkhäuser, Basel, 2000   abstract
   
  Girard Jean-Yves.
On the meaning of logical rules II : multiplicative/additive case.
In Steinbrüggen F.L. Bauer, editor, Foundation of Secure Computation, Amsterdam, IOS Press NATO series F 175
, 2000
[Gir98d]  
1999

Girard Jean-Yves.
Typed lambda calculi and applications.
Proceedings of the 4th International Conference (TLCA'99) held in L'Aquila, April 7--9, 1999. Edited by Jean-Yves Girard. Lecture Notes in Computer Science, 1581. Springer-Verlag, Berlin, 1999

   
  Girard Jean-Yves.
Linear logic. I.
Papers from the meeting held in Tokyo, March 28-April 2, 1996. Edited by J.-Y. Girard, M. Okada and A. Scedrov. Theoret. Comput. Sci. {227}, no. 1-2. Elsevier Science Publishers, B.V., Amsterdam, pp. ix--xii and 1--396, 1999
   
  Girard Jean-Yves.
Coherent banach spaces : a continuous denotational semantics.
Linear logic, I (Tokyo, 1996). Theoretical Computer Science, 227, no. 1-2, pp.275-297, 1999
[Gir98a]  
  Girard Jean-Yves.
On denotational completeness.
Linear logic, I (Tokyo, 1996). Theoretical Computer Science, 227, no. 1-2, pp.249--273
, 1999
[Gir99]  
  Girard Jean-Yves.
On the meaning of logical rules I : syntax versus semantics.
Computational logic (Marktoberdorf, 1997), U.Berger and H. Schwichtenberg Editors, Heidelberg, 215--272, NATO Adv. Sci. Inst. Series F 165 Comput. Systems Sci., 165, Springer, Berlin
, 1999
[Gir98c]  


1998 Girard Jean-Yves
Light linear logic,
Logic and computational complexity (Indianapolis, IN, 1994), 145--176, Lecture Notes in Comput. Sci., 960, Springer, Berlin, 1995 and also in Information and Computation 143, no. 2, 175--204, 1998
[Gir95b]
[Gir98b]
1996 Girard Jean-Yves, Okada Mitsuhiro and Scedrov André
Linear logic 96,
Papers from the meeting held at Keio University, Tokyo, March 28--April 2, 1996. Edited by Jean-Yves Girard, Mitsuhiro Okada and Andre Scedrov. Electronic Notes in Theoretical Computer Science, 3. Elsevier Science B.V., Amsterdam, 310 pp. (electronic), 1996
 
  Girard Jean-Yves
Proof-nets: the parallel syntax for proof-theory,
Logic and algebra (Pontignano, 1994), 97--124, Lecture Notes in Pure and Appl. Math., 180, Dekker, New York, 1996
[Gir96]
1995 Girard Jean-Yves
Geometry of interaction. III. Accommodating the additives,
Advances in linear logic (Ithaca, NY, 1993), 329--389, London Math. Soc. Lecture Note Ser., 222, Cambridge Univ. Press, Cambridge
, 1995
[Gir95a]
  Girard Jean-Yves
On geometry of interaction,
Proof and computation (Marktoberdorf, 1993), 145--191, NATO Adv. Sci. Inst. Ser. F Comput. Systems Sci., 139, Springer, Berlin, 1995
 
  Girard Jean-Yves
Linear logic: its syntax and semantics,
Advances in linear logic (Ithaca, NY, 1993), 1--42, London Math. Soc. Lecture Note Ser., 222, Cambridge Univ. Press, Cambridge, 1995
[Gir95c]
  Girard Jean-Yves
Advances in linear logic,
Proceedings of the workshop held at Cornell University, Ithaca, New York, June 14--18, 1993. Edited by Jean-Yves Girard, Yves Lafont and Laurent Regnier. London Mathematical Society Lecture Note Series, 222. Cambridge University Press, Cambridge, 1995
 
  Girard Jean-Yves
La logique au milieu du gué : logique naturelle et intelligence artificielle,
La machine de Turing, Le Seuil, Paris, 1995
 
  Girard Jean-Yves
Linear logic: a survey,
Logic and algebra of specification (Marktoberdorf, 1991), 63--112, NATO Adv. Sci. Inst. Ser. F Comput. Systems Sci., 94, Springer, Berlin, 1993 and also in The Curry-Howard isomorphism, 193--255, Cahiers Centre Logique, 8, Academia, Louvain-la-Neuve, 1995
 
1994 Girard Jean-Yves
Théorie réductrice de la démonstration,
Enciclopedia Italiana, Storia del 20° secolo, Roma, 1994
 
1993 Girard Jean-Yves
On the unity of logic,
Fourth Asian Logic Conference (Tokyo, 1990). Ann. Pure Appl. Logic 59, no. 3, 201--217, 1993
 
1992 Girard Jean-Yves and Normann Dag
Embeddability of ptykes,
J. Symbolic Logic 57, no. 2, 659--676, 1992
 
  Girard Jean-Yves, Scedrov Andre and Scott Philip J.
Bounded linear logic: a modular approach to polynomial-time computability,
Theoret. Comput. Sci. 97, no. 1, 1--66, 1992
 
  Girard Jean-Yves
Le champ du signe,
Le théorème de Gödel, Le Seuil, Paris, 1989. Repris sous le titre : Il sogno del segno dans La prova di Gödel, Boringhieri, 1992
 
  Girard Jean-Yves
Logic and exceptions: a few remarks,
J. Logic Comput. 2, no. 2, 111--118, 1992
 
  Girard Jean-Yves
La mouche dans la bouteille [The fly in the bottle (in memory of Jean van Heijenoort)],
L'âne, octobre 1986 and also in Logic colloquium '85 (Orsay, 1985), 9--12, Stud. Logic Found. Math., 122, North-Holland, Amsterdam-New York, 1987 and Translated from the French by Thomas Drucker. Special issue: Jean van Heijenoort. Modern Logic 2, no. 3, 256--259, 1992
 
  Girard Jean-Yves, Scedrov Andre and Scott Philip J.
Normal forms and cut-free proofs as natural transformations,
Logic from computer science (Berkeley, CA, 1989), 217--241, Math. Sci. Res. Inst. Publ., 21, Springer, New York, 1992
 
1991 Girard Jean-Yves
Quantifiers in linear logic. II,
CLUEB, Nuovi problemi della logica e della filosofia della scienza, Corsi and Sambin, Editors, Bologna, pp. 79-90, 1991
 
 

Girard Jean-Yves
Introduction à la logique linéaire [Introduction to linear logic],
Logique et informatique: une introduction, 229--256, Collect. Didact., 8, INRIA, Rocquencourt, 1991

 
 

Girard Jean-Yves
A new constructive logic: classical logic,
Math. Structures Comput. Sci. 1, no. 3, 255--296, 1991

 
1990 Abrusci V. Michele, Girard Jean-Yves and Van de Wiele Jacques
Some uses of dilators in combinatorial problems. II,
J. Symbolic Logic 55, no. 1, 32--40, 1990
 
  Girard Jean-Yves
Geometry of interaction. II. Deadlock-free algorithms,
COLOG-88 (Tallinn, 1988), 76--93, Lecture Notes in Comput. Sci., 417, Springer, Berlin
, 1990
 
  Girard Jean-Yves
La logique linéaire,
Pour la Science, 150, 74-85, avril 1990
 
  Girard Jean-Yves, Scedrov Andre and Scott Philip J.
Bounded linear logic: a modular approach to polynomial time computability (extended abstract),
Feasible mathematics (Ithaca, NY, 1989), 195--209, Progr. Comput. Sci. Appl. Logic, 9, Birkh?ser Boston, Boston, MA, 1990
 
1989 Girard Jean-Yves
Quantifiers in linear logic. I,
CLUEB, Temi e prospettive della logica e della filosofia della scienza contemporanee, dalla Chiara and Galavotti Editors, Bologna, pp. 95-130, 1989
 
  Girard Jean-Yves, Freyd P., Scedrov Andre and Scott Philip J.
Semantic parametricity in typed lambda-calculus,
Logic and Computer Science 1988, IEEE Computer Society Press, Los Alamitos, pp. 69-108
, 1989
 
  Girard Jean-Yves, Taylor Paul and Lafont Yves
Proofs and types,
Cambridge Tracts in Theoretical Computer Science, 7. Cambridge University Press, Cambridge-New York, 1989
 
  Girard Jean-Yves
Geometry of interaction. I. Interpretation of system F,
Logic Colloquium '88 (Padova, 1988), 221--260, Stud. Logic Found. Math., 127, North-Holland, Amsterdam
, 1989
 
  Girard Jean-Yves
Towards a geometry of interaction,
Categories in computer science and logic (Boulder, CO, 1987), 69--108, Contemp. Math., 92, Amer. Math. Soc., Providence, RI, 1989
 
  Girard Jean-Yves
Sources et ressources de la théorie de la démonstration,
L'Ane, octobre 1989
 
1988 Girard Jean-Yves
La logique comme science de l'interaction,
Étude, UNESCO, Paris, mars 1988
 
 

Girard Jean-Yves
Multiplicatives,
Conference on Logic and Computer Science: New Trends and Applications (Turin, 1986). Rend. Sem. Mat. Univ. Politec. Torino 1987, Special Issue, 11--33, 1988

 
  Girard Jean-Yves
Normal functors, power series and lambda-calculus,
Ann. Pure Appl. Logic 37, no. 2, 129--177, 1988
 
  Girard Jean-Yves (alias Yann-Joachim Ringard)
Mustard watches : an integrated approach to time and food,
Étude, UNESCO, Paris, mars 1988
 
1987 Abrusci V. Michele, Girard Jean-Yves and Van de Wiele Jacques
Some uses of dilators in combinatorial problems. I,
Logic and combinatorics (Arcata, Calif., 1985), 25--53, Contemp. Math., 65, Amer. Math. Soc., Providence, R.I., 1987
 
  Girard Jean-Yves
Pi12-logic and related topics,
Proceedings of the conferences on mathematical logic, Vol. 3 (Italian) (Siena, 1985; Padova, 1985 and Siena, 1986), 13--45, Univ. Siena, 1987
 
  Girard Jean-Yves
Linear logic and parallelism,
Mathematical models for the semantics of parallelism (Rome, 1986), 166--182, Lecture Notes in Comput. Sci., 280, Springer, Berlin, 1987
 
  Girard Jean-Yves and Lafont Yves
Linear logic and lazy computation,
TAPSOFT '87, Vol. 2 (Pisa, 1987), 52--66, Lecture Notes in Comput. Sci., 250, Springer, Berlin-New York, 1987
 
  Girard Jean-Yves
Proof theory and logical complexity,
Studies in Proof Theory. Monographs, 1. Bibliopolis, Naples, 505, 1987
 
  Girard Jean-Yves
Le lambda-calcul du second ordre [The second-order lambda-calculus],
S?inaire Bourbaki, Vol. 1986/87. Ast?isque No. 152-153, 4, 173--186
, 1987
 
  Girard Jean-Yves
L'infini en logique : autour du concept d'entier,
Enciclopedia Italiana, L'infinito nella scienza, Toraldo di Francia Editor, Roma, pp.141-150, 1987
 
  Girard Jean-Yves
Linear logic,
Theoret. Comput. Sci. 50, no. 1, 1--102, 1987
 
1986 Girard Jean-Yves
Logique et informatique : point de vue d'un logicien,
Étude, UNESCO, Paris, décembre 1986
 
  Girard Jean-Yves
Une théorie géométrique des ordinaux,
Pour la Science, juillet 1985. Repris dans Les Mathématiques d'Aujourd'hui, Belin, pp.97-108, 1986
 
  Girard Jean-Yves
The system F of variable types, fifteen years later,
Theoret. Comput. Sci. 45, no. 2, 159--192, 1986
 
1985 Girard Jean-Yves and Ressayre Jean-Pierre
Eléments de logique Pi1n [Elements of Pi1n-logic],
Recursion theory (Ithaca, N.Y., 1982), 389--445, Proc. Sympos. Pure Math., 42, Amer. Math. Soc., Providence, R.I., 1985
 
  Girard Jean-Yves
Introduction to Pi12-logic,
The present state of the problem of the foundations of mathematics (Florence, 1981). Synthese 62, no. 2, 191--216, 1985
 
  Girard Jean-Yves
Le rasoir de Kreisel,
L'Ane, juillet 1985
 
  Girard Jean-Yves and Normann Dag
Set recursion and Pi12-logic,
Ann. Pure Appl. Logic 28, no. 3, 255--286, 1985
 
1984 Girard Jean-Yves and Vauzeilles Jacqueline
Functors and ordinal notations. II. A functorial construction of the Bachmann hierarchy,
J. Symbolic Logic 49, no. 4, 1079--1114, 1984
 
  Girard Jean-Yves and Vauzeilles Jacqueline
Functors and ordinal notations. I. A functorial construction of the Veblen hierarchy,
J. Symbolic Logic 49, no. 3, 713--729, 1984
 
  Girard Jean-Yves and Reznikoff I.
Intuitionnisme,
Encyclœpedia Universalis, Paris, pp. 74-77, 1984
 
  Girard Jean-Yves
Théorie de la démonstration,
Encyclœpedia Universalis, Paris, pp. 1101-1105, 1984
 
  Girard Jean-Yves
The Omega-rule,
Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), 307--321, PWN, Warsaw, 1984
 
  Girard Jean-Yves and Vauzeilles Jacqueline
Les premiers ordinaux récursivement inaccessible et Mahlo et la théorie des dilatateurs [The first recursively inaccessible and Mahlo numbers and the theory of dilators],
Arch. Math. Logik Grundlag. 24, no. 3-4, 167--191, 1984
 
1983 Girard Jean-Yves
Sur le théorème d'incomplétude de Gödel,
Cinq conférences sur l'indécidabilité, Bouleau Editor, Presses des Ponts & Chaussées, Paris, pp.25-48, 1983
 
1982 Girard Jean-Yves
A survey of Pi12-logic,
Logic, methodology and philosophy of science, VI (Hannover, 1979), pp. 89--107, Stud. Logic Foundations Math., 104, North-Holland, Amsterdam-New York, 1982
 
  Girard Jean-Yves
Proof-theoretic investigations of inductive definitions. I,
Logic and algorithmic (Zurich, 1980), pp. 207--236, Monograph. Enseign. Math., 30, Univ. Gen?e, Geneva, 1982
 
  Girard Jean-Yves
Herbrand's theorem and proof theory,
Proceedings of the Herbrand symposium (Marseilles, 1981), 29--38, Stud. Logic Found. Math., 107, North-Holland, Amsterdam-New York, 1982
 
1981 Girard Jean-Yves and Päppinghaus Peter
A result on implications of 1-sentences and its application to normal form theorems,
J. Symbolic Logic 46, no. 3, 634--642, 1981
 
  Girard Jean-Yves
Pi12-logic. I. Dilators,
Ann. Math. Logic 21, no. 2-3, 75--219, 1981
 
1977 Girard Jean-Yves
Functionals and ordinoids,
Colloque International de Logique (Clermont-Ferrand, 1975), pp. 59--71, Colloq. Internat. CNRS, 249, CNRS, Paris, 1977
 
  Girard Jean-Yves
Functional interpretation and Kripke models,
Logic, foundations of mathematics and computability theory (Proc. Fifth Internat. Congr. Logic, Methodology and Philos. of Sci., Univ. Western Ontario, London, Ont., 1975), Part I, pp. 33--157. Univ. Western Ontario Ser. Philos. Sci., Vol. 9, Reidel, Dordrecht, 1977
 
1976

Girard Jean-Yves
Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture,
Dissertationes Math. (Rozprawy Mat.) 136, 1--49, 1976

 
1973 Girard Jean-Yves
Quelques résultats sur les interprétations fonctionnelles,
Cambridge Summer School in Mathematical Logic (Cambridge, England, 1971), pp. 232--252. Lecture Notes in Math., Vol. 337, Springer, Berlin, 1973
 
1971 Girard Jean-Yves
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,
Proceedings of the Second Scandinavian Logic Symposium (Univ. Oslo, Oslo, 1970), pp. 63--92. Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland, Amsterdam, 1971
 


Last update : november 14, 2011, EL.