TY  - RPRT
TI  - An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions
AU  - Masahiro Sato
PY  - 2015
UR  - https://arxiv.org/abs/1412.2235
ID  - 1412.2235
ER  -