TY  - RPRT
TI  - Constructing categories and setoids of setoids in type theory
AU  - Erik Palmgren
AU  - Olov Wilander
PY  - 2014
DO  - 10.2168/lmcs-10(3:25)2014
UR  - https://arxiv.org/abs/1408.1364
ID  - 1408.1364
ER  -