système F

concept lambda-calcul typé

Aussi : Systeme F

Nature : lambda-calcul, Q2607208

Catégories : concepts mathématiques · sciences · concepts abstraits

Mots du lexique : système nom commun, F nom commun

Wikidata Q2552799 · Wikipédia