#HoTT a presheaf model of parametric type theory

https://ac.els-cdn.com/S1571066115000730/1-s2.0-S1571066115000730-main.pdf?_tid=b9cc9930-b1b0-11e7-9fa9-00000aab0f27&acdnat=1508076004_9ea3e8f22898c9fca5975a4529a0e212

Advertisements
This entry was posted in category theory, Computer science, homotopy type theory, Philosophie mathématique. Bookmark the permalink.