La théorie constructive des types : présentation

Michel Bourdeau (1) , Pascal Boldini

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

Souhaitant offrir, dans ce numéro de Mathématiques et Sciences humaines, un aperçu général de la théorie constructive des types telle qu'elle existe aujourd'hui, il a semblé que le plus approprié était de montrer quelques unes des applications qui en ont été faites. La présente introduction vise à donner au lecteur à qui elle ne serait pas familière les éléments nécessaires à l'intelligence de ce qui suit.

Mots clés: type theory

Mots clés: théorie des types

Domaines: Histoire, Philosophie et Sociologie des sciences

Michel Bourdeau, Pascal Boldini. La théorie constructive des types : présentation. Mathématiques et Sciences Humaines, 2004, 165, pp.5-12. ⟨halshs-00791045⟩