@misc{indiciae185a510ebd82,
  title = {Semantics out of context: nominal absolute denotations for first-order logic and computation},
  author = {Murdoch J. Gabbay},
  year = {2016},
  doi = {10.1145/2700819},
  url = {https://arxiv.org/abs/1305.6291},
  note = {Source identifier: 1305.6291}
}