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

by Raymond C McDowell, Dale A Miller
Venue:ACM Transactions on Computational Logic