A New Approach to Abstract Syntax Involving Binders (0)

by M Gabbay, A M Pitts
Venue:In 14th Annual IEEE Symposium on Logic in Computer Science