请输入要查询的图书：

查询 可以输入图书全称，关键词或ISBN号

Introduction to Combinators and (lamda) Calculus (London Mathematical Society Student Texts)

ISBN：9780521318396

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the ...

Introduction to Combinators and lamda Calculus London Mathematical Society Student Texts

---

Lambda-calculus, Combinators and Functional Programming

ISBN：9780521345897

...

Lambda calculus Combinators and Functional Programming

---

Lambda-calculus, Combinators and Functional Programming

ISBN：9780521114295

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators...

Lambda calculus Combinators and Functional Programming

---

Lambda-Calculus and Combinators

ISBN：9780521898850

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into l...

Lambda Calculus and Combinators

---

Introduction to Algeb Combinators

ISBN：9780412355103

...

Introduction to Algeb Combinators

---