Fiche du document
Auteurs
Date
2004
Type de document
Périmètre
Langue
Identifiants
- handle: 10670/1.ac4ndp
- halshs: halshs-00791045
Collection
Organisation
Sujets proches
Human intelligence Intelligence Mind Probabilités Graphe Modèle mathématique Théorie des ensembles Combinatoire Algèbre Théorie des probabilités Spectateurs Public Auditoire Assistance (public) Visiteurs Fréquentation Audience MSC 03B15 Types, Théorie des Sciences pures Sciences exactes Sciences fondamentales Sciences de l'homme Homme, Sciences de l' Sciences morales Sciences mathématiques Mathématiques appliquées Méthodes mathématiques Mathématiques modernes Intelligence de l'homme Développement de l'intelligence Intelligence humaine mathématiquesCiter ce document
Michel Bourdeau et al., « La théorie constructive des types : présentation », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10670/1.ac4ndp
Métriques
Partage / Export
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.