Lopez-Escobar, E. G. K. Semantical models for intuitionistic logics. (English) Zbl 0469.03022 Mathematical logic in Latin America, Proc. Symp., Santiago 1978, 191-207 (1980). MSC: 03C95 03F55 PDFBibTeX XML
Arbib, Michael A.; Manes, Ernest G. Machines in a category. (English) Zbl 0441.18010 J. Pure Appl. Algebra 19, 9-20 (1980). MSC: 18B20 18-03 93C25 PDFBibTeX XMLCite \textit{M. A. Arbib} and \textit{E. G. Manes}, J. Pure Appl. Algebra 19, 9--20 (1980; Zbl 0441.18010) Full Text: DOI Link