Aide à la recherche   Requête : "théorie des types de Martin-Löf"

1	2011 Journée annuelle de la Société Mathématique de France. Vol. 24. Qu'est-ce qu'un nombre au hasard ?
2	2003 Calculs et formes. De l'activité mathématique.