References

De Wiki du Gdt Logique

Références bibliographiques

  • Jean-Yves Girard, « Le point aveugle » (tomes I&II), Hermann, 2006. Téléchargeable [ici] (en version anglaise «The Blind Spot»).
  • H. Barendregt, « The Lambda Calculus: Its Syntax And Semantics ». La bible du λ-calcul.
  • [poly] du cours de Jean Goubault-Larrecq, sobrement intitulé "Logique et informatique", qui parle en vérité de λ-calcul et de différents isomorphismes de Curry-Howard.
  • Olivier Laurent, cours de théorie de la démonstration [ici]
  • Roberto Di Cosmo et Vincent Danos, The linear logic primer, notes du cours de logique linéaire au MPRI. Téléchargeable [ici].
  • « The collected papers of Gerhard Gentzen », North Holland 1969. Téléchargeable ici
  • Thomas Ehrhard et Olivier Laurent, Interpreting differential Pi-calculus in differential interaction nets. [ici]
  • Paul-André Melliès, Categorical Semantics of Linear Logic. [ici]
  • S. Abramsky and G. McCusker, Game Semantics. [ici]
  • Page de Paul-André Melliès sur la logique tensorielle (divers articles sur le sujet, souvent en cours de rédaction mais déjà bien avancés)

GdI

  • Logic in the hyperfinite factor GoI5
Outils personnels