Fujita, Ken-etsu The Church-Rosser theorem and quantitative analysis of witnesses. (English) Zbl 1436.03104 Inf. Comput. 263, 52-56 (2018). MSC: 03B40 PDFBibTeX XMLCite \textit{K.-e. Fujita}, Inf. Comput. 263, 52--56 (2018; Zbl 1436.03104) Full Text: DOI
Takahashi, Masako Parallel reductions in \(\lambda\)-calculus. (English) Zbl 0827.68060 Inf. Comput. 118, No. 1, 120-127 (1995). MSC: 68W30 PDFBibTeX XMLCite \textit{M. Takahashi}, Inf. Comput. 118, No. 1, 120--127 (1995; Zbl 0827.68060) Full Text: DOI