A theory of binding structures and applications to rewriting (1993)

by C Talcott
Venue:Theoretical Computer Science