Principles of dependent type theory [pdf]

3 pointsposted 9 hours ago
by fanf2
(danielgratzer.com)

No comments yet