Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables.

Murdoch James Gabbay Dominic P. Mulligan Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables. 64-73 2009 LFMTP http://doi.acm.org/10.1145/1577824.1577835 conf/lfmtp/2009 db/conf/lfmtp/lfmtp2009.html#GabbayM09