Sanchis, L. E. Types in combinatory logic. (English) Zbl 0158.24704 Notre Dame J. Formal Logic 5, 161-180 (1964). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 Documents Keywords:mathematical logic PDF BibTeX XML Cite \textit{L. E. Sanchis}, Notre Dame J. Formal Logic 5, 161--180 (1964; Zbl 0158.24704) Full Text: DOI