Andou, Y. Church-Rosser property of a simple reduction for full first-order classical natural deduction. (English) Zbl 1016.03006 Ann. Pure Appl. Logic 119, No. 1-3, 225-237 (2003). MSC: 03B10 03B40 03F05 PDFBibTeX XMLCite \textit{Y. Andou}, Ann. Pure Appl. Logic 119, No. 1--3, 225--237 (2003; Zbl 1016.03006) Full Text: DOI
Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo Combining type disciplines. (English) Zbl 0813.03009 Ann. Pure Appl. Logic 66, No. 3, 197-230 (1994). Reviewer: N.Bernard (Le Bourget du Lac) MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{F. Cardone} et al., Ann. Pure Appl. Logic 66, No. 3, 197--230 (1994; Zbl 0813.03009) Full Text: DOI