TY  - RPRT
TI  - Equality and equivalence, intuitionistically
AU  - Wim Veldman
PY  - 2019
DO  - 10.13140/rg.2.2.29768.67849
UR  - https://arxiv.org/abs/1911.09477
ID  - 1911.09477
ER  -