Abstract syntax and variable binding (1999)

by M Fiore, G Plotkin, D Turi
Venue:In LICS’99