Abstract syntax and variablebinding (1999)

by M Fiore, G Plotkin, D Turi
Venue:In Proc. LICS'99