Articles de Jean-Yves Girard

• Mustard

Ringard, Y.-J. : Mustard watches : an integrated approach to time and food, "un pur gâchis de papier".
Merci à Pierre Barthélémy et Eric Lozingot pour la restitition du corpus delicti.
 
• moutarde.pdf

Ringard, Y.-J. : Les montres à moutarde, une approche intégrée au temps et à la nourriture, traduction de Jean-Yves Girard.
À l'occasion de l'exposition de Per Hüttner, Musée du Temps et École Régionale des Beaux Arts de Besançon, 10 Décembre 2009 - 21 Janvier 2010.
 
• titres.pdf

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

Girard, J.-Y. : Normativity in logic. dedicated to Per Martin-Löf, May 2010.
 
• identite.pdf

Girard, J.-Y. : Identité, égalité, isomorphie ; ou ego, individu, espèce. D'après une exposé à la réunion LIGC opus 10, Firenze, villa Finaly, 18 Septembre 2009.
 
• prelude.pdf

Girard, J.-Y. : Normativité, locativité et identité. Réunion PRELUDE, Paris, 28 Septembre 2009.
 
• GdI5.1.pdf

Girard, J.-Y. : Geometry of interaction V : logic in the hyperfinite factor, in memoriam Claire Delaleu (1991-2009). Fully revised version (October 2009).
 
• 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.
 
• 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).
 
• paradoxe2.pdf

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

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

Girard, J.-Y. : Truth, modality and intersubjectivity, manuscript, January 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.
 
• Godel1.pdf

Girard, J.-Y. : Kurt Goedel (1906-1978), Dictionnaire d'histoire et philosophie des sciences, ed Dominique Lecourt, 2006.
 
• 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.
 
• 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.
 
• LGC.pdf.gz, LGC.ps.gz

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

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

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

Girard, J.-Y. : Scientisme et obscurantisme, manuscrit, Novembre 2000.
 
• 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.
 
• 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.
 
• 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.
 
• 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.
 
• 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.
 
• 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.
 
• denot.pdf.gz, denot.ps.gz

Girard, J.-Y. : On denotational completeness, Theoretical Computer Science 227, pp. 249-273, 1999.
 
• 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.
 
• 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.
 
• 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.
 
• linear.pdf

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