Pour citer cet article

Référence électronique

Michel Bourdeau et Pascal Boldini, « Avant propos sur la théorie constructive des types », Mathématiques et sciences humaines [En ligne], 165 | Printemps 2004, mis en ligne le 22 février 2006, consulté le 19 avril 2024. URL : http://journals.openedition.org/msh/2942  ; DOI : https://doi.org/10.4000/msh.2942