Liste fiches - Publimath

Krivine Jean-Louis

Il y a 4 résultats pour cette recherche

2014 Vidéo de l'IREM de Paris - Conférences. A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court).
Auteur : Krivine Jean-Louis
2004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
Auteur : Krivine Jean-Louis
2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
Auteur : Krivine Jean-Louis
1998 Quadrature. N° 33. p. 9-15. Ensembles et preuves.
Auteur : Krivine Jean-Louis