Definitions from Wikipedia (Lambda cube)

▸ noun:  In mathematical logic and type theory, the λ-cube (also written lambda cube) is a framework introduced by Henk Barendregt to investigate the different dimensions in which the calculus of constructions is a generalization of the simply typed λ-calculus.


▸ Words similar to lambda cube
▸ Usage examples for lambda cube

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

▸ Invented words related to lambda cube