A new approach to abstract syntax involving binders (1999)

by M Gabbay, A Pitts
Venue:In 14th LICS