Aide à la recherche   Requête : lambda-calcul

1	2016 Mathématice. N° 52. Des langages de programmation à la programmation de langages.
2	2015 La logique pas à pas.
3	2015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
4	2014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
5	2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
6	2014 Tangente Hors-série. N° 52. L'informatique riche des maths.
7	2014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
8	2007 Les métamorphoses du calcul.
9	2004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
10	2004 Bibliothèque Tangente. N° 15. La logique.
11	2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
12	2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
13	1995 La machine de Turing.
14	1991 L'Ouvert. N° 65.
15	1991 L'Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable - la thèse de Church / Post.