Proving theorems of type theory automatically with TPS

Introduction to Mathematical Logic and Type Theory: To Truth through Proof

Introduction to Mathematical Logic and Type Theory: To Truth through Proof

Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction

Proceedings of the 18th International Conference on Automated Deduction

CADE-18 Proceedings of the 18th International Conference on Automated Deduction

Solving for Set Variables in Higher-Order Theorem Proving

CADE-18 Proceedings of the 18th International Conference on Automated Deduction

Selectively Instantiating Definitions

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction

System Description: TPS: A Theorem Proving System for Type Theory

CADE-17 Proceedings of the 17th International Conference on Automated Deduction

Classical type theory

Handbook of automated reasoning

Mating search without path enumeration

Mating search without path enumeration

ETPS: A System to Help Students Write Formal Proofs

Journal of Automated Reasoning

Set comprehension in church's type theory

Set comprehension in church's type theory