TY  - RPRT
TI  - Representation and duality of the untyped lambda-calculus in nominal lattice and topological semantics, with a proof of topological completeness
AU  - Murdoch J. Gabbay
AU  - Michael J. Gabbay
PY  - 2016
UR  - https://arxiv.org/abs/1305.5968
ID  - 1305.5968
ER  -