Higher-order unification via combinators

Higher Order Unification 30 Years Later

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics

Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory

Selected Papers from Automated Deduction in Classical and Non-Classical Logics

Higher-order unification and matching

Handbook of automated reasoning

Sequent combinators: a Hilbert system for the lambda calculus

Mathematical Structures in Computer Science

Higher-Order Coloured Unification and natural language semantics

ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics

Focus and Higher-Order Unification

COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 1

A functional logic language based on higher order narrowing

FP'95 Proceedings of the 1995 international conference on Functional Programming