Lambda-calculus, Combinators and Functional Programming 豆 0.0分

资源最后更新于 2020-10-28 12:16:07

作者：G. E. Revesz

出版社：Cambridge University Press

出版日期：2009-01

ISBN：9780521114295

文件格式： pdf

标签： FP λ-calculus 计算机 函数式语言 计算机科学 编程 程序语言 programming

简介· · · · · ·

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researcher...