Kapulkin : locally cartesian closed quasicategories from type theory

http://www-home.math.uwo.ca/~kkapulki/papers/qcats-from-type-theory.pdf

Publicités