Extensional higher-order resolution

This publication has 10 references indexed in Scilit:

• TPS: A theorem-proving system for classical type theory
  Journal of Automated Reasoning, 1996
• Higher-order tableaux
  Published by Springer Nature ,1995
• On connections and higher-order logic
  Journal of Automated Reasoning, 1989
• Mechanizing ω-order type theory through unification
  Theoretical Computer Science, 1976
• General models, descriptions, and choice in type theory
  The Journal of Symbolic Logic, 1972
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972
• Resolution in type theory
  The Journal of Symbolic Logic, 1971
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
  Proceedings of the National Academy of Sciences, 1963
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931