Abstract syntax and variable binding (1999)

by M Fiore, G Plotkin, D Turi
Venue:In IEEE Symposium on Logic in Computer Science