Proof Normalization for a First-Order Formulation of Higher-Order Logic

• Authors:

• Gilles Dowek

• Affiliations:

• -

• Venue:
• TPHOLs '97 Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics
• Year:
• 1997