@misc{indiciae9e658937a435,
  title = {From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions},
  author = {Gilles Dowek and Murdoch Gabbay},
  year = {2011},
  doi = {10.1016/j.tcs.2012.06.007},
  url = {https://arxiv.org/abs/1111.4611},
  note = {Source identifier: 1111.4611}
}