TY  - JOUR

T1  - Univalent completion

JO  - Mathematische Annalen

UR  - https://eprints.whiterose.ac.uk/id/eprint/127339

PY  - 2018/08/01

AU  - van Den Berg B

AU  - Moerdijk I

ED  - 

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

PB  - Springer Verlag

VL  - 371

IS  - 3-4

SP  - 1337

EP  - 1350

Y2  - 2025/12/08

ER  -