A New Approach to Abstract Syntax Involving Binders (1999)

by Murdoch Gabbay, Andrew Pitts
Venue:In 14th Annual Symposium on Logic in Computer Science