TY  - RPRT
TI  - Adding an Abstraction Barrier to ZF Set Theory
AU  - Ciarán Dunne
AU  - J. B. Wells
AU  - Fairouz Kamareddine
PY  - 2020
UR  - https://arxiv.org/abs/2005.13954
ID  - 2005.13954
ER  -