A new approach to abstract syntax involving binders (1999)

by Murdoch Gabbay, Andrew Pitts
Venue:Proceedings of the 14th Annual Symposium on Logic in Computer Science (LICS’99