← Back to search

Meaning of System F | Babel Free

Noun CEFR B2

Definitions

A kind of typed lambda calculus that introduces a mechanism of universal quantification over types.

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

system of equations system of numeration system on a chip system operator system pull system sales