The following pages link to (Q4247305):
Displaying 5 items.
- Analogical program derivation based on type theory (Q1802072) (← links)
- Analytic Tableaux for Simple Type Theory and its First-Order Fragment (Q3575302) (← links)
- Using the TPTP Language for Writing Derivations and Finite Interpretations (Q3613401) (← links)
- Program derivation in type theory: A partitioning problem (Q3740203) (← links)
- Generalizing Def and Pos to Type Analysis (Q4542943) (← links)