TY  - RPRT
TI  - From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions
AU  - Gilles Dowek
AU  - Murdoch Gabbay
PY  - 2011
DO  - 10.1016/j.tcs.2012.06.007
UR  - https://arxiv.org/abs/1111.4611
ID  - 1111.4611
ER  -