La théorie constructive des types : présentation - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Article Dans Une Revue Mathématiques et Sciences Humaines Année : 2004

La théorie constructive des types : présentation

Résumé

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

Fichier non déposé

Dates et versions

halshs-00791045 , version 1 (21-02-2013)

Identifiants

  • HAL Id : halshs-00791045 , version 1

Citer

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

Partager

Gmail Mastodon Facebook X LinkedIn More