Aide à la recherche   Requête : "théorie des types"

1	2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
2	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
3	2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
4	2015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
5	2015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
6	2014 La possibilité des nombres.
7	2011 Journée annuelle de la Société Mathématique de France. Vol. 24. Qu'est-ce qu'un nombre au hasard ?
8	2010 Logicomix.
9	2009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.
10	2009 Histoire de la Théorie des Ensembles.
11	2007 Les métamorphoses du calcul.
12	2004 Du mode d'existence des objets de la mathématique.
13	2003 Calculs & formes. De l'activité mathématique.
14	1999 Information, complexité et hasard.
15	1993 Les irrationalités de la logique.
16	1984 Introduction à la logique.
17	1978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
18	1975 Introduction à la logique.