A new approach to abstract syntax involving binders (1999)

by M Gabbay, A M Pitts
Venue:In Proc. of LICS’99