TY  - RPRT
TI  - The algebra of functions with antidomain and range
AU  - Robin Hirsch
AU  - Marcel Jackson
AU  - Szabolcs Mikulás
PY  - 2014
UR  - https://arxiv.org/abs/1410.3981
ID  - 1410.3981
ER  -