Get new Wikipedia articles popular on Hacker News - one email per week.
No spam. Unsubscribe anytime. · Privacy
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. Each dimension of the cube…
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. Each dimension of the cube…
Get new Wikipedia articles popular on Hacker News - one email per week.
No spam. Unsubscribe anytime. · Privacy