Kawahara, Yasuo Pushout-complements and basic concepts of grammars in toposes. (English) Zbl 0723.18004 Theor. Comput. Sci. 77, No. 3, 267-289 (1990). Reviewer: Y.Diers (Faches-Thumesnil) MSC: 18B25 68Q42 18A30 18A10 PDFBibTeX XMLCite \textit{Y. Kawahara}, Theor. Comput. Sci. 77, No. 3, 267--289 (1990; Zbl 0723.18004) Full Text: DOI
López-Escobar, E. G. K. Remarks on the Church-Rosser property. (English) Zbl 0715.03025 J. Symb. Log. 55, No. 1, 106-112 (1990). Reviewer: A.A.Mullin MSC: 03F50 03B40 03F05 PDFBibTeX XMLCite \textit{E. G. K. López-Escobar}, J. Symb. Log. 55, No. 1, 106--112 (1990; Zbl 0715.03025) Full Text: DOI