TY  - RPRT
TI  - Equivariant ZFA and the foundations of nominal techniques
AU  - Murdoch J. Gabbay
PY  - 2020
DO  - 10.1093/logcom/exz015
UR  - https://arxiv.org/abs/1801.09443
ID  - 1801.09443
ER  -