Algebras and combinators

Springer Science and Business Media LLC - 1981
Erwin Engeler1
1ETH-Zentrum, Zurich, Switzerland

Tóm tắt

Từ khóa


Tài liệu tham khảo

H. P. Barendregt,The Type Free Lambda Calculus. Handbook of math. Logic, J. Barwise, ed., North-Holland, Amsterdam, 1977, pp. 1091–1132.

D. S. Scott,Lambda Calculus: Some Models, some Philosophy, 33 pp., to appear.

Thông tin
Thông tin xuất bản

Springer Science and Business Media LLC

Thông tin tác giả