DMCA

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:177 - 20 self