TY  - RPRT
TI  - On the strength of dependent products in the type theory of Martin-Löf
AU  - Richard Garner
PY  - 2011
DO  - 10.1016/j.apal.2008.12.003
UR  - https://arxiv.org/abs/0803.4466
ID  - 0803.4466
ER  -