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

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