Type Theory and Functional Programming
类型理论与函数式编程
分类：Programming · 作者：Simon Thompson
- ☉ 书名：Type Theory and Functional Programming
- ☉ 作者：Simon Thompson
- ☉ 出版社：Addison Wesley
- ☉ 出版日期：1991
- ☉ 版本：1
- ☉ ISBN：9780201416670
- ☉ 许可：free
- ☉ 格式：PDF
简介：绝版书，本书介绍类型理论的三个领域：逻辑、lambda 演算式与函数式编程、以及建构数学。此外，还包括形式系统等内容。
分享
