TY  - RPRT
TI  - Quotient completion for the foundation of constructive mathematics
AU  - Maria Emilia Maietti
AU  - Giuseppe Rosolini
PY  - 2013
UR  - https://arxiv.org/abs/1202.1012
ID  - 1202.1012
ER  -