TY  - RPRT
TI  - A class of higher inductive types in Zermelo-Fraenkel set theory
AU  - Andrew Swan
PY  - 2021
DO  - 10.1002/malq.202100040
UR  - https://arxiv.org/abs/2005.14240
ID  - 2005.14240
ER  -