Articles de Jean-Yves Girard

• titres.pdf

Girard, J.-Y. : Titres et travaux, dernière actualisation Février 2009.
 
• linear.pdf

Girard, J.-Y. : Linear Logic, Theoretical Computer Science, London Mathematical 50:1, pp. 1-102, 1987. Restored by Pierre Boudes.
 
• Mustard

Ringard, Y.-J. : Mustard watches~: an integrated approach to time and food, Fac-simile of original preprint (Oct. 1990) never published, a pure waste of paper ! Restored by Pierre Barthélémy et Eric Lozingot.
 
• Synsem.pdf.gz, Synsem.ps.gz

Girard, J.-Y. : Linear Logic, its syntax and semantics, Advances in Linear Logic, eds Girard, Lafont, Regnier, London Mathematical Society Lecture Notes Series 222, Cambridge University Press 1995.
 
• Proofnets.pdf.gz, Proofnets.ps.gz

Girard, J.-Y. : Proof-nets : the parallel syntax for proof-theory, Logic and Algebra, eds Ursini and Agliano, Marcel Dekker, New York 1996.
 
• GOI3.pdf.gz, GOI3.ps.gz

Girard, J.-Y. : Geometry of Interaction III : accommodating the additives, Advances in Linear Logic, eds Girard, Lafont, Regnier, London Mathematical Society Lecture Notes Series 222, Cambridge University Press 1995.
 
• banach.pdf.gz, banach.ps.gz

Girard, J.-Y. : Coherent Banach Spaces : a continuous denotational semantics, Theoretical Computer Science 227, pp. 275-297, 1999.
 
• LLL.pdf.gz, LLL.ps.gz

Girard, J.-Y. : Light Linear Logic, Information and Computation 143, 1998.
 
• denot.pdf.gz, denot.ps.gz

Girard, J.-Y. : On denotational completeness, Theoretical Computer Science 227, pp. 249-273, 1999.
 
• theodem.pdf.gz, theodem.ps.gz

Girard, J.-Y. : Du pourquoi au comment : la théorie de la démonstration de 1950 à nos jours, Les mathématiques 1950-2000, ed. Pier, pp. 515-545, Birkhauser, 2000.
 
• bordeaux.pdf.gz, bordeaux.ps.gz

Girard, J.-Y. : Du pourquoi au comment : la théorie de la démonstration, du programme de Hilbert à la logique linéaire, Leçons de mathématiques d'aujourd'hui, eds Cassini, 2003. Rédigé par Pierre Castéran et Eric Charpentier, d'après un exposé du 5 Juin 1997.
 
• meaning1.pdf.gz, meaning1.ps.gz

Girard, J.-Y. : On the meaning of logical rules I~: syntax vs. semantics, Computational Logic, eds Berger and Schwichtenberg, pp. 215-272, SV, Heidelberg, 1999.
 
• meaning2.pdf.gz, meaning2.ps.gz

Girard, J.-Y. : On the meaning of logical rules II~: multiplicatives and additives, Foundation of Secure Computation, eds Bauer and Steinbrüggen, pp. 183-212, IOS Press, Amsterdam, 2000.
 
• godel.pdf.gz, godel.ps.gz

Girard, J.-Y. : Le théorème de Gödel ou une soirée avec M. Homais, Sciences et Avenir, Janvier 2000.
 
• utls.ps.gz, d.pdf.gz,g.ps.gz

Girard, J.-Y. : Les fondements des mathématiques, Université de tous les savoirs, 17 Juin 2000~; diapositives, version stiptease utls.ps.gz, version compacte d.pdf.gz, english version, g.ps.gz.
 
• wtls.pdf.gz, wtls.ps.gz

Girard, J.-Y. : Les fondements des mathématiques, Qu'est-ce que l'univers~?, UTLS, volume 4, ed Yves Michaud, éditions Odile Jacob, 2000.
 
• Azores.pdf.gz, Azores.ps.gz

Girard, J.-Y. : Notes on linear logic and ludics, Electronic slides from the Linear Summer School, Azores 31/8-6/9 2000.
 
• obs.pdf.gz, obs.ps.gz

Girard, J.-Y. : Scientisme et obscurantisme, manuscrit, Novembre 2000.
 
• 0.pdf.gz, 0.ps.gz

Girard, J.-Y. : Locus Solum, Mathematical Structures in Computer Science 11, pp. 301-506, 2001.
 
• tende.pdf

Girard, J.-Y. : Des espaces de Hilbert aux algèbres stellaires, Note de cours (Tende, Septembre 2002).
 
• bsl.pdf.gz, bsl.ps.gz

Girard, J.-Y. : From foundations to ludics, Bulletin of Symbolic Logic, 9.2, June 2003.
 
• LGC.pdf.gz, LGC.ps.gz

Girard, J.-Y. : La logique comme géométrie du cognitif, manuscrit, Septembre 2003.
 
• LLcup.pdf.gz, LLcup.ps.gz

Girard, J.-Y. : Between logic and quantic : a tract, Linear logic in computer science, eds Ehrhard, Girard, Ruet and Scott, Cambridge University Press, 2004. October 2003.
 
• feedback3.pdf.gz, feedback3.ps.gz

Girard, J.-Y. : Geometry of interaction IV : the Feedback Equation, Logic Colloquium 2003, eds. Stoltenberg-Hansen and Vaananen, Association for Symbolic Logic, 2006.
 
• LIX.pdf.gz, LIX.ps.gz

Girard, J.-Y. : Nouvelles du troisième sous-sol, diapositives de l'exposé du 1er Juin 2004 (GdT ludique, École Polytechnique).
 
• Godel1.pdf

Girard, J.-Y. : Kurt Goedel (1906-1978), Dictionnaire d'histoire et philosophie des sciences, ed Dominique Lecourt, 2006.
 
• truth.pdf

Girard, J.-Y. : Truth, modality and intersubjectivity, manuscript, January 2007.
 
• cerisy.pdf

Girard, J.-Y. : De la syllogistique à l'iconoclasme, manuscrit, Janvier 2007.
 
• roma2004.pdf

Girard, J.-Y. : La logique aujourd'hui..., en clôture du cours de logique donné à Rome Tre, 20 Décembre 2004, manuscrit, Mars 2007.
 
• siena2007.pdf

Girard, J.-Y. : Truth modality intersubjectivity, Electronic slides from the Siena meeting, 17-20 May 2007.
 
• paradoxe2.pdf

Girard, J.-Y. : Le statut paradoxal du paradoxe, rencontre LIGC, Roma Tre, 13 Décembre 2007.
 
• longo2.pdf

Girard, J.-Y. : Le fantôme de la transparence, pour les 60 ans de Giuseppe Longo.
 
• longo1.pdf

Girard, J.-Y. : The phantom of transparency, dedicated to Giuseppe Longo (english translation).
 
• GdI5.pdf

Girard, J.-Y. : Geometry of interaction V : logic in the hyperfinite factor, in memoriam Claire Delaleu (1991-2009).
 
• 11.02.2008.pdf

Girard, J.-Y. : Logic vs. Intelligence, slides, Tokyo.
 
• 12.02.2008.pdf

Girard, J.-Y. : The phantom of transparency, slides, Tokyo.
 
• 13.02.2008.pdf

Girard, J.-Y. : The geometry of interaction, slides, Tokyo.
 
• negation.pdf

Girard, J.-Y. : De la vertu négatrice au surmoi logique, rencontre LIGC, Carry le Rouet, 17/18 Octobre 2008 et séminaire de philosophie des mathématiques, ENS, 12 Janvier 2009.
 
 
Jean-Yves Girard