Pages that link to "Item:Q1923825"
From MaRDI portal
The following pages link to TPS: A theorem-proving system for classical type theory (Q1923825):
Displayed 10 items.
- Mathematical induction in Otter-lambda (Q861715) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- Reduction and unification in lambda calculi with a general notion of subtype (Q1340967) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- 2004 Annual Meeting of the Association for Symbolic Logic (Q3370628) (← links)
- THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)