Tronci, Enrico Equational programming in \(\lambda\)-calculus via SL-systems. Part 2. (English) Zbl 0872.68012 Theor. Comput. Sci. 160, No. 1-2, 185-216 (1996). MSC: 68N01 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
Tronci, Enrico Equational programming in \(\lambda\)-calculus via SL-systems. Part 1. (English) Zbl 0872.68011 Theor. Comput. Sci. 160, No. 1-2, 145-184 (1996). MSC: 68N01 03B40 × Cite Format Result Cite Review PDF Full Text: DOI