A new approach to abstract syntax involving binders (1999)

by M J Gabbay, A M Pitts
Venue:in: 14th Annual Symposium on Logic in Computer Science, IEEE Computer