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
Ngôn ngữ:English
Được phát hành: Cambridge, UK ; New York : Cambridge University Press, c2008.
Những chủ đề:
Lambda calculus.
Combinatory logic.

MAT

Chi tiết quỹ từ MAT
Số hiệu: 517.2:519.1 HIN
Sao chép Trạng thái trực tiếp không khả dụng

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