TH1: The TPTP Typed Higher-Order Form
with Rank-1 Polymorphism

Introduction

• The TPTP World
• The TPTP Language Hierarchy
• Another Talk

The TPTP Languages

• Format, CNF and FOF
• TF0: The Monomorphic Typed First-order Form
• TF1: The Polymorphic Typed First-order Form
• TH0: The Monomorphic Higher-order Form

TH1: The Polymorphic Higher-order Form

• Syntax
• Semantics
• Type Checking

Conclusion

The End - Any Questions?