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
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。