Focusing and higher-order abstract syntax (0)

by N Zeilberger
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages