Abstract syntax and variable binding (1999)

by M Fiore, G Plotkin, D Turi
Venue:In Proc. of 14th Annual Symposium on Logic in Computer Science