Term rewriting with variable binding: An initial algebra approach (2003)

by M Hamana
Venue:in: Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP2003