| 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 |
