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

by Murdoch J. Gabbay , Andrew M. Pitts
Venue:Formal Aspects of Computing
Citations:207 - 44 self