Lambda-calculus and combinators, an introduction /

other_versions_link
Chi tiết về thư mục
Tác giả chính: Hindley, J. Roger
Tác giả khác: Seldin, J. P.
Định dạng: Printed Book
Được phát hành: Cambridge, UK ; New York : Cambridge University Press, c2008.
Những chủ đề:
Lambda calculus.
Combinatory logic.

Kannur University

Chi tiết quỹ từ Kannur University
Số hiệu: 511.3 5 HIN/L
Sao chép Stack Trạng thái trực tiếp không khả dụng

Những quyển sách tương tự