Abstract syntax and variable binding (1999)

by M P Fiore, G D Plotkin, D Turi
Venue:In 14th Symp. on Logic in Computer Science. IEEE Computer