Johnson-Freyd, Philip; Downen, Paul; Ariola, Zena M. Call-by-name extensionality and confluence. (English) Zbl 1418.68033 J. Funct. Program. 27, Paper No. e12, 45 p. (2017). MSC: 68N18 68Q42 PDF BibTeX XML Cite \textit{P. Johnson-Freyd} et al., J. Funct. Program. 27, Paper No. e12, 45 p. (2017; Zbl 1418.68033) Full Text: DOI
Nakazawa, Koji; Fujita, Ken-etsu Compositional Z: confluence proofs for permutative conversion. (English) Zbl 1368.03020 Stud. Log. 104, No. 6, 1205-1224 (2016). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{K.-e. Fujita}, Stud. Log. 104, No. 6, 1205--1224 (2016; Zbl 1368.03020) Full Text: DOI