correspondance de Curry-Howard

Il y a 10 résultats avec cette recherche.

2003 Leçons de mathématiques d’aujourd’hui. Vol. 2.

Auteurs : Godefroy Gilles ; Girard Jean-Yves ; Tenenbaum Gérald ; Morain François ; Waldschmidt Michel ; David Guy ; Bardos Claude ; Karoubi Max ; Fontaine Jean-Marc ; Hindry Marc ; Raynaud Michel ; Keane Michael ; Charpentier Eric. Dir. ; Nikolski Nicolaï Kapitonovitch. Dir. ; Habsieger Laurent. Dir.
2015 Bibliothèque Tangente. N° 55. Les démonstrations.

Auteur : Cohen Gilles. Dir.
2004 Bibliothèque Tangente. N° 15. La logique.

Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.

Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.

Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2015 Bibliothèque Tangente. N° 55. La logique linéaire. p. 143-143.

Auteur : Ledent Jérémy
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
1998 Quadrature. N° 33. p. 9-15. Ensembles et preuves.

Auteur : Krivine Jean-Louis
2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.

Auteur : Regnier Laurent