Farmer, William M. The seven virtues of simple type theory. (English) Zbl 1149.03012 J. Appl. Log. 6, No. 3, 267-286 (2008). MSC: 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei TPS: A theorem-proving system for classical type theory. (English) Zbl 0858.03017 J. Autom. Reasoning 16, No. 3, 321-353 (1996). Reviewer: M.P.Bonacina (Iowa City) MSC: 03B35 03B15 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Farmer, William M. A partial functions version of Church’s simple theory of types. (English) Zbl 0722.03007 J. Symb. Log. 55, No. 3, 1269-1291 (1990). Reviewer: P.Materna (Praha) MSC: 03B15 03B40 × Cite Format Result Cite Review PDF Full Text: DOI