Definitions from Wikipedia (Simply typed lambda calculus)

▸ noun:  The simply typed lambda calculus, a form


▸ Words similar to Simply typed lambda calculus
▸ Usage examples for Simply typed lambda calculus

▸ Idioms related to Simply typed lambda calculus
▸ Wikipedia articles (New!)
▸ Words that often appear near Simply typed lambda calculus
▸ Rhymes of Simply typed lambda calculus

▸ Invented words related to Simply typed lambda calculus