TY  - RPRT
TI  - The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
AU  - Pierre Clairambault
AU  - Peter Dybjer
PY  - 2011
DO  - 10.1017/s0960129513000881
UR  - https://arxiv.org/abs/1112.3456
ID  - 1112.3456
ER  -