Mots-clés – Auteurs

théorie constructive des types

Il y a 1 résultat pour cette recherche

2009 Bulletin de l’APMEP. N° 483. p. 449-466. Mathématiques constructives.
Auteur : Lombardi Henri