A look at TPS
- 5 October 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Theorem Proving via General MatingsJournal of the ACM, 1981
- Mechanizing ω-order type theory through unificationTheoretical Computer Science, 1976
- A unification algorithm for typed
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940