Classical Type Theory

This publication has 33 references indexed in Scilit:

• The undecidability of the second-order unification problem
  Theoretical Computer Science, 1981
• Mechanizing ω-order type theory through unification
  Theoretical Computer Science, 1976
• Resolution and the consistency of analysis.
  Notre Dame Journal of Formal Logic, 1974
• A Complete Mechanization of Second-Order Type Theory
  Journal of the ACM, 1973
• Resolution in type theory
  The Journal of Symbolic Logic, 1971
• A proof of cut-elimination theorem in simple type-theory
  Journal of the Mathematical Society of Japan, 1967
• A supplement to Herbrand
  The Journal of Symbolic Logic, 1966
• Systems of predicative analysis
  The Journal of Symbolic Logic, 1964
• False lemmas in Herbrand
  Bulletin of the American Mathematical Society, 1963
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950