Abstract syntax with variable binding (1999)

by M P Fiore, G D Plotkin, D Turi
Venue:in: Proc. LICS’99, IEEE Computer