TY  - RPRT
TI  - Notes on axiomatising Hurkens's Paradox
AU  - Arnaud Spiwack
PY  - 2015
UR  - https://arxiv.org/abs/1507.04577
ID  - 1507.04577
ER  -