Lambda-calculus and combinators， an introduction（J. Roger Hindley， Jonathan P. Seldin）（Cambridge University Press 2008）
内容简介：
书名：Lambda-calculus and combinators, an introduction
出版社：Cambridge University Press
作者：J. Roger Hindley, Jonathan P. Seldin
出版年份：2008
电子书格式： pdf
简介：《Lambda-calculus and combinators, an introduction》是J. Roger Hindley和Jonathan P. Seldin编著的经典教材，深入浅出地介绍了Lambda演算和组合子逻辑的基础理论和应用。本书由剑桥大学出版社出版，适合对编程语言理论、数学逻辑和计算机科学感兴趣的读者。通过详细的例证和练习，帮助读者理解和掌握这些复杂的概念，是学习函数式编程和类型理论的理想入门书籍。多考网(duokao)提供此书免费下载，助您轻松获取学术资源。
ISBN：9780521898850, 05218
出版社：Cambridge University Press
作者：J. Roger Hindley, Jonathan P. Seldin
出版年份：2008
电子书格式： pdf
简介：《Lambda-calculus and combinators, an introduction》是J. Roger Hindley和Jonathan P. Seldin编著的经典教材，深入浅出地介绍了Lambda演算和组合子逻辑的基础理论和应用。本书由剑桥大学出版社出版，适合对编程语言理论、数学逻辑和计算机科学感兴趣的读者。通过详细的例证和练习，帮助读者理解和掌握这些复杂的概念，是学习函数式编程和类型理论的理想入门书籍。多考网(duokao)提供此书免费下载，助您轻松获取学术资源。
ISBN：9780521898850, 05218
下载地址：
猜你喜欢：
![如何正确吵架：发掘问题、解读渴望、创造幸福的伴侣沟通术（6大沟通技巧，解惑亲密关系的7种迷思。）（朱迪斯·莱特 & 鲍勃·莱特 [朱迪斯·莱特 & 鲍勃·莱特]）（北京：中国华侨出版社 2019）](https://yanxuan.nosdn.127.net/a9df5c132d10991db686f735c101b303.jpg)
