Principles of dependent type theory [pdf]
Posted 55 minutes ago by
fanf2
3
points
https://www.danielgratzer.com/papers/type-theory-book.pdf
0
comments