2014 BibliothÚque Tangente. N° 52. Mathématiques et informatique.
Auteur : Cohen Gilles. Dir.
lambda-calcul
Il y a 14 résultats avec cette recherche.
-
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
-
1991 L’Ouvert. N° 65.
Auteur : IREM de Strasbourg L'Ouvert. Dir.
-
2016 Mathématice. N° 52. Des langages de programmation à la programmation de langages.
Auteurs : Debrabant Patrice ; Busser Alain
-
Auteur : Duparc Jacques
-
2004 BibliothÚque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
-
2014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
Auteur : Delaunay David
-
2014 BibliothÚque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
Auteur : Delaunay David
-
1991 L’Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable – la thĂšse de Church / Post.
Auteurs : Cardon Alain ; Charras Christian ; Krob Daniel
-
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.
-
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
-
2015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
Auteur : Haralambous Yannis