Features & Benefits
For Writing
For Groups
For Teaching
For Universities
For Publishers
For Enterprises
Templates
Produkte und Preise
Hilfe
Dokumentation
Contact Us
Registrieren
Anmelden
Lambda Cube
Open as Template
View Source
Download 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