Basic Simple Type Theory（J. Roger Hindley）（Cambridge University Press 1997）

  • 书名：Basic Simple Type Theory
  • 出版社：Cambridge University Press
  • 作者：J. Roger Hindley
  • 出版年份：1997
  • 电子书格式： pdf
  • 简介：《Basic Simple Type Theory》是J. Roger Hindley于1997年在剑桥大学出版社出版的一本关于类型理论的经典著作。本书深入探讨了简单类型理论的基础，涵盖了逻辑、数学和计算机科学中的关键概念。无论是学生还是研究者，都能从中获得对类型系统的深刻理解。多考网提供免费下载，助力您的学术研究。
  • ISBN：9780521465182, 05214
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。