A new approach to abstract syntax with variable binding (2002)

by Murdoch Gabbay, Andrew M Pitts
Venue:Formal Aspects Computing