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

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