TY  - RPRT
TI  - From type theory to setoids and back
AU  - Erik Palmgren
PY  - 2019
UR  - https://arxiv.org/abs/1909.01414
ID  - 1909.01414
ER  -