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

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