Aide à la recherche
Requête :
"théorie constructive des types"
Chercher
tous les mots
l'expression
au moins un mot
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
1 fiche trouvée
1
2009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.
