n° 165, Printemps 2004, spécial La théorie constructive des types
Avant propos sur la théorie constructive des types
Foreword. Special issue: "Type theory"
Michel Bourdeau et Pascal Boldini
Télécharger le texte intégral (161k)
Résumé
Avant propos
Abstract
Foreword
Index
- Mots clés :
- théorie des types
- Keywords :
- type theory
- Topics :
- epistemology, history of mathematics, logic, type theory
Pour citer cet article
Michel Bourdeau et Pascal Boldini, « Avant propos sur la théorie constructive des types », Mathématiques et sciences humaines,
n° 165, Printemps 2004, spécial La théorie constructive des types, [En ligne],
mis en ligne le 22 février 2006. URL : http://msh.revues.org/document2942.html. Consulté le 28 novembre 2009.
