Noshita, Kohei; Hikita, Teruo The BC-chain method for representing combinators in linear space. (English) Zbl 0594.68034 New Generation Comput. 3, 131-144 (1985). MSC: 68Q65 68Q25 68N01 03B40 PDF BibTeX XML Cite \textit{K. Noshita} and \textit{T. Hikita}, New Generation Comput. 3, 131--144 (1985; Zbl 0594.68034) Full Text: DOI OpenURL
Hirokawa, Sachio Complexity of the combinator reduction machine. (English) Zbl 0591.68048 Theor. Comput. Sci. 41, 289-303 (1985). MSC: 68Q25 68Q05 68Q60 PDF BibTeX XML Cite \textit{S. Hirokawa}, Theor. Comput. Sci. 41, 289--303 (1985; Zbl 0591.68048) Full Text: DOI OpenURL