TY  - RPRT
TI  - A Categorical Construction of Bachmann-Howard Fixed Points
AU  - Anton Freund
PY  - 2019
DO  - 10.1112/blms.12285
UR  - https://arxiv.org/abs/1809.06769
ID  - 1809.06769
ER  -