Aide à la recherche   Requête voisine : "correspondance de Curry-Howard"

1	2015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
2	2015 Bibliothèque Tangente. N° 55. La logique linéaire. p. 143-143.
3	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
4	2004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
5	2004 Bibliothèque Tangente. N° 15. La logique.
6	2003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
7	2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
8	2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
9	2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
10	1998 Quadrature. N° 33. p. 9-15. Ensembles et preuves.