equivalentexchange.blog
The Lambda Cube
More or less from Wikipedia: 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 construc…