The following pages link to Classical type theory (Q2751367):
Displaying 9 items.
- On fuzzy type theory (Q703370) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- Extended First-Order Logic (Q3183527) (← links)
- (Q4989394) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)