Selinger, Peter Order-incompleteness and finite lambda reduction models. (English) Zbl 1070.68022 Theor. Comput. Sci. 309, No. 1-3, 43-63 (2003). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{P. Selinger}, Theor. Comput. Sci. 309, No. 1--3, 43--63 (2003; Zbl 1070.68022) Full Text: DOI
Selinger, Peter The lambda calculus is algebraic. (English) Zbl 1040.68023 J. Funct. Program. 12, No. 6, 549-566 (2002). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Selinger}, J. Funct. Program. 12, No. 6, 549--566 (2002; Zbl 1040.68023) Full Text: DOI