TY  - JOUR

T1  - Univalent completion

JO  - Mathematische Annalen

UR  - http://eprints.whiterose.ac.uk/127339/

PY  - 2017/11/15

AU  - van Den Berg B

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1007/s00208-017-1614-3

Y2  - 2024/12/22

ER  -