Lambda-calcul Simplement Typé

concept

variante du lambda-calcul avec des types

Wikipedia Wikidata

Propriétés

Catégories

concepts mathématiques sciences concepts abstraits

Mots liés

lambda NOM calcul NOM typé ADJ