@misc{indiciae2e30d7ca939d,
  title = {Representation and duality of the untyped lambda-calculus in nominal lattice and topological semantics, with a proof of topological completeness},
  author = {Murdoch J. Gabbay and Michael J. Gabbay},
  year = {2016},
  url = {https://arxiv.org/abs/1305.5968},
  note = {Source identifier: 1305.5968}
}