TY  - RPRT
TI  - Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
AU  - Murdoch J. Gabbay
AU  - Dominic P. Mulligan
PY  - 2011
DO  - 10.4204/eptcs.71.5
UR  - https://arxiv.org/abs/1111.0089
ID  - 1111.0089
ER  -