Scott, Dana Combinators and classes. (English) Zbl 0342.02018 \(\lambda\)-Calc. Comput. Sci. Theory, Proc. Symp., Rome 1975, Lect. Notes Comput. Sci. 37, 1-26 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 5 Documents MSC: 03B40 Combinatory logic and lambda calculus PDF BibTeX XML