Accueil Publimath  Aide à la recherche  Requête : "correspondance de Curry-Howard"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
10 fiches trouvées

12015 Bibliothèque Tangente. Num. 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
22015 Bibliothèque Tangente. Num. 55. Les démonstrations.
32015 Bibliothèque Tangente. Num. 55. La logique linéaire. p. 143-143.
42004 Bibliothèque Tangente. Num. 15. La logique.
52004 Bibliothèque Tangente. Num. 15. La correspondance de Curry-Howard. p. 80-95.
62003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
72003 Quadrature. Num. 49. p. 13-22. Les limites de la correspondance preuve/programme.Ressource en ligne
82003 Tangente Hors-série. Num. 15. Vol. 2. Logique et informatique.
92003 Tangente Hors-série. Num. 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
101998 Quadrature. Num. 33. p. 9-15. Ensembles et preuves.