0
点赞
收藏
分享

微信扫一扫

The Lambda Calculus and Combinators

_刘彦辉 2022-09-16 阅读 108


Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages.

The Lambda Calculus and Combinators_combinator

  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

The Lambda Calculus and Combinators_lambda_02

The Lambda Calculus and Combinators_combinator_03


The Lambda Calculus and Combinators_combinator_04


The Lambda Calculus and Combinators_combinator_05

不动点定理

The Lambda Calculus and Combinators_lambda_06

The Lambda Calculus and Combinators_sed_07

The Lambda Calculus and Combinators_combinator_08


举报

相关推荐

Lambda

lambda

Lambda使用

Python lambda

0 条评论