Mots-clés – Auteurs – Publimath

théorie des types de Martin-Löf

Il y a 2 résultats pour cette recherche

2011 Journée annuelle de la Société Mathématique de France. Vol. 24. Qu’est-ce qu’un nombre au hasard ?
Auteurs : Bienvenu Laurent ; Rittaud Benoît ; Xiao David
2003 Calculs et formes. De l’activité mathématique.
Auteurs : Boniface Jacqueline. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.