Fujita, Ken-etsu A formal system of reduction paths for parallel reduction. (English) Zbl 1433.68190 Theor. Comput. Sci. 813, 327-340 (2020). MSC: 68Q42 03B40 68R10 PDFBibTeX XMLCite \textit{K.-e. Fujita}, Theor. Comput. Sci. 813, 327--340 (2020; Zbl 1433.68190) Full Text: DOI
Kosterec, Miloš Substitution contradiction, its resolution and the Church-Rosser theorem in TIL. (English) Zbl 1484.03006 J. Philos. Log. 49, No. 1, 121-133 (2020). MSC: 03A05 03B40 03B60 PDFBibTeX XMLCite \textit{M. Kosterec}, J. Philos. Log. 49, No. 1, 121--133 (2020; Zbl 1484.03006) Full Text: DOI