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