Toyn, Ian; Runciman, Colin Adapting combinator and SECD machines to display snapshots of functional computations. (English) Zbl 0603.68003 New Generation Comput. 4, 339-363 (1986). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{I. Toyn} and \textit{C. Runciman}, New Generation Comput. 4, 339--363 (1986; Zbl 0603.68003) Full Text: DOI
Kasai, Takumi (ed.) Mathematical foundations of computer science and their applications. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, January 30 - February 1, 1985. (Japanese) Zbl 0638.68005 RIMS Kokyuroku, 556. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. IV, 326 p. (1985). MSC: 68-06 00B25 03-06 PDFBibTeX XML
O’Donnell, Michael J. Equational logic as a programming language. (English) Zbl 0636.68004 MIT Press Series in the Foundations of Computing. Cambridge, Mass. - London: MIT Press. XV, 296 p.; $ 25.00 (1985). MSC: 68-02 68N01 03B70 68T15 68Q65 03B40 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{K. Noshita} and \textit{T. Hikita}, New Generation Comput. 3, 131--144 (1985; Zbl 0594.68034) Full Text: DOI
Hirokawa, Sachio Complexity of the combinator reduction machine. (English) Zbl 0591.68048 Theor. Comput. Sci. 41, 289-303 (1985). MSC: 68Q25 68Q05 68Q60 PDFBibTeX XMLCite \textit{S. Hirokawa}, Theor. Comput. Sci. 41, 289--303 (1985; Zbl 0591.68048) Full Text: DOI
Hikita, Teruo On the average size of Turner’s translation to combinator programs. (English) Zbl 0567.68012 J. Inf. Process. 7, 164-169 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{T. Hikita}, J. Inf. Process. 7, 164--169 (1984; Zbl 0567.68012)