Towards the syntax and semantics of higher dimensional type theory

https://hott-uf.github.io/2018/slides/KrausHoTTUF2018.pdf

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.