Reasoning with higher-order abstract syntax in a logical framework (0)

by R McDowell, D Miller
Venue:ACM Trans. on Computational Logic