David, René A simple proof of basic results in \(\lambda\) calculus. (Une preuve simple de résultats classiques en \(\lambda\) calcul.) (French. Abridged English version) Zbl 0830.03003 C. R. Acad. Sci., Paris, Sér. I 320, No. 11, 1401-1406 (1995). MSC: 03B40 PDFBibTeX XMLCite \textit{R. David}, C. R. Acad. Sci., Paris, Sér. I 320, No. 11, 1401--1406 (1995; Zbl 0830.03003)
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