lambda-calcul simplement typé
concept variante du lambda-calcul avec des types
Nature : lambda-calcul, Q2607208
Catégories : concepts mathématiques · sciences · concepts abstraits
Mots du lexique : lambda nom commun, Calcul nom propre, typé adjectif
concept variante du lambda-calcul avec des types
Nature : lambda-calcul, Q2607208
Catégories : concepts mathématiques · sciences · concepts abstraits
Mots du lexique : lambda nom commun, Calcul nom propre, typé adjectif