Lambda Cube

Author
Artem Pelenitsyn
View Count
1796
License
Creative Commons CC BY 4.0
Abstract

Computer Science. Type theory. Famous Lambda Cube invented by Henk Barendregt.

Lambda Cube