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

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