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