← Back to search

Meaning of STLC | Babel Free

Noun CEFR B1

Definitions

Initialism of simply-typed lambda calculus.

abbreviation, alt-of, initialism

CEFR level

B1

Intermediate
This word is part of the CEFR B1 vocabulary — intermediate level.

See also

sTLD STLV STM StMBH stmfr STML