Capture-avoiding substitution as a nominal algebra (2008)

by M J Gabbay, A Mathijssen
Venue:Formal Asp. Comput