Barendregt : lambda-calculi with types

https://www.cosc.brocku.ca/~mwinter/Courses/5P05/HBKJ.pdf

Advertisements
This entry was posted in Computer science, homotopy type theory, Science-internelle. Bookmark the permalink.