A New Approach to Abstract Syntax Involving Binders (1999)

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