Krivine Jean-Louis

Il y a 4 résultats avec cette recherche.

2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.

Auteur : Krivine Jean-Louis
2004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.

Auteur : Krivine Jean-Louis
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
1998 Quadrature. N° 33. p. 9-15. Ensembles et preuves.

Auteur : Krivine Jean-Louis