### 6 papers:

- CADE-2000-AndrewsB #education #higher-order #logic #named #proving #theorem proving #tutorial #using
- Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic (PBA, CEB), pp. 511–512.
- CADE-2000-AndrewsBB #proving #theorem proving #type system
- System Description: TPS: A Theorem Proving System for Type Theory (PBA, MB, CEB), pp. 164–169.
- CADE-1990-AndrewsINP #proving #theorem proving
- The TPS Theorem Proving System (PBA, SI, DN, FP), pp. 641–642.
- CADE-1988-AndrewsINP #proving #theorem proving
- The TPS Theorem Proving System (PBA, SI, DN, FP), pp. 760–761.
- CADE-1986-AndrewsPIK #proving #theorem proving
- The TPS Theorem Proving System (PBA, FP, SI, CPK), pp. 663–664.
- CADE-1982-MillerCA
- A Look at TPS (DM, ELC, PBA), pp. 50–69.