注重体验与质量的电子书资源下载网站
分类于: 其它 职场办公
简介
Lambda-Calculus and Combinators: An Introduction 豆 0.0分
资源最后更新于 2020-08-19 15:52:33
作者：J. Roger Hindley
出版社：Cambridge University Press
出版日期：2008-01
ISBN：9780521898850
文件格式： pdf
标签： 计算机科学 lambda-calculus lambda演算 FP 函数式编程 计算机 逻辑 数学
简介· · · · · ·
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version, first published in 2008, is thoroughly revised and offers an account of the subject wit...
目录
Preface
1. The λ-calculus
2. Combinatory logic
3. The power of λ and CL
4. Computable functions
5. Undecidability
6. Formal theories
7. Extensionality in λ-calculus
8. Extensionality in CL
9. Correspondence between λ and CL
10. Simple typing, Church-style
11. Simple typing, Curry-style in CL
12. Simple typing, Curry-style in λ
13. Generalizations of typing
14. Models of CL
15. Models of λ
16. Scott's D∞ and other models
Appendix A1. α-conversion
Appendix A2. Confluence proofs
Appendix A3. Normalization proofs
Appendix A4. Care of your pet combinator
Appendix A5. Answers to starred exercises
Bibliography
Index.
1. The λ-calculus
2. Combinatory logic
3. The power of λ and CL
4. Computable functions
5. Undecidability
6. Formal theories
7. Extensionality in λ-calculus
8. Extensionality in CL
9. Correspondence between λ and CL
10. Simple typing, Church-style
11. Simple typing, Curry-style in CL
12. Simple typing, Curry-style in λ
13. Generalizations of typing
14. Models of CL
15. Models of λ
16. Scott's D∞ and other models
Appendix A1. α-conversion
Appendix A2. Confluence proofs
Appendix A3. Normalization proofs
Appendix A4. Care of your pet combinator
Appendix A5. Answers to starred exercises
Bibliography
Index.
猜你喜欢
Excel 2013 应用技巧实例大全
评分: 0.0
Apple Watch 编程指南
评分: 0.0
PHP 7从零基础到项目实战
评分: 0.0
Spark核心技术与高级应用
评分: 0.0