Théorie des Types
discipline
théorie mathématique
En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Théorie_des_types
Lien Wikidata : https://www.wikidata.org/wiki/Q1056428