Principles of dependent type theory [pdf]

(danielgratzer.com)

3 points | by fanf2 10 hours ago ago

No comments yet.