Formalization of the book "Lambda Calculus with Types" by Henk Barendregt, Wil Dekkers and Richard Statman.
BSD-3-Clause
-
Notifications
You must be signed in to change notification settings - Fork 0
"Lambda Calculus with Types" formalization in Agda
License
keilambda/lcwt
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
"Lambda Calculus with Types" formalization in Agda