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:179 - 19 self