Abstract syntax and variable binding (extended abstract (1999)

by Marcelo Fiore, Gordon Plotkin, Daniele Turi
Venue:In Proceedings 14th LICS