TY  - RPRT
TI  - Homotopy limits in type theory
AU  - Jeremy Avigad
AU  - Chris Kapulkin
AU  - Peter LeFanu Lumsdaine
PY  - 2015
DO  - 10.1017/s0960129514000498
UR  - https://arxiv.org/abs/1304.0680
ID  - 1304.0680
ER  -