Lambda-calcul Simplement Typé

concept

variante du lambda-calcul avec des types

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Lambda-calcul_simplement_typé

Lien Wikidata : https://www.wikidata.org/wiki/Q855192

Propriétés

Catégories

concepts mathématiques sciences concepts abstraits

Mots liés

lambda NOM calcul NOM typé ADJ