Titre | Avant propos sur la théorie constructive des types | |
---|---|---|
Auteur | Michel Bourdeau, Pascal Boldini | |
Revue | Mathématiques et sciences humaines | |
Numéro | no 165, printemps 2004 La théorie constructive des types | |
Article en ligne | http://msh.revues.org/2942 |