Hardin, Thérèse Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL. (English) Zbl 0707.03012 Theor. Comput. Sci. 65, No. 3, 291-342 (1989). Reviewer: C.Berline MSC: 03B40 68Q42 18D15 03G30 PDFBibTeX XMLCite \textit{T. Hardin}, Theor. Comput. Sci. 65, No. 3, 291--342 (1989; Zbl 0707.03012) Full Text: DOI
Shepherdson, J. C. A sound and complete semantics for a version of negation as failure. (English) Zbl 0682.68095 Theor. Comput. Sci. 65, No. 3, 343-371 (1989). MSC: 68T15 68Q55 03B35 03B50 03B60 PDFBibTeX XMLCite \textit{J. C. Shepherdson}, Theor. Comput. Sci. 65, No. 3, 343--371 (1989; Zbl 0682.68095) Full Text: DOI
Yokouchi, Hirofumi Church-Rosser theorem for a rewriting system on categorical combinators. (English) Zbl 0672.03006 Theor. Comput. Sci. 65, No. 3, 271-290 (1989). Reviewer: A.Pettorossi MSC: 03B40 68N01 PDFBibTeX XMLCite \textit{H. Yokouchi}, Theor. Comput. Sci. 65, No. 3, 271--290 (1989; Zbl 0672.03006) Full Text: DOI