A higher-order logic as the basis for logic programming

Higher-order abstract syntax

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Higher-order unification revisited: Complete sets of transformations

Journal of Symbolic Computation
Higher-order Horn clauses

Journal of the ACM (JACM)
Higher Order Unification 30 Years Later

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
SELECTED AI-RELATED DISSERTATIONS

ACM SIGART Bulletin
A typed higher-order calculus for querying XML databases

ADC '08 Proceedings of the nineteenth conference on Australasian database - Volume 75
Extensional Higher-Order Logic Programming

ACM Transactions on Computational Logic (TOCL)

Hi-index	0.00