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