Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03793476n
Noun Concept
Categories: Type theory, Lambda calculus
EN
lambda cube  Barendregt cube  Lambda-cube  λ-cube  Λ cube
EN
In mathematical logic and type theory, the λ-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. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic and type theory, the λ-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. Wikipedia
A framework of constructive logic Wikipedia Disambiguation
HAS PART
typed lambda calculus
calculus of constructions
System F
FACET OF
dependent type
type constructor
polymorphism
Wikipedia
EN
lambda cube
Wikidata
EN
lambda cube
Wikipedia Redirections
EN
Barendregt cube, Lambda-cube, λ-cube, Λ cube

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License