Lambda Cube

Open as TemplateView SourceDownload PDF
Author
Artem Pelenitsyn
License
Creative Commons CC BY 4.0
Abstract

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

Tags
TikZ
Find More Examples
Lambda Cube