Vonfry | 论极语易 / 乐水榭 | Vonfry's personal website /
Posts / Categories / Tags

lambd演算

2018-05-22T16:57:17Z / Categories: develop / Tags: lambda

目的

主要是做个收藏

连接

Good math, bad math

这是一篇相当优秀的文章,然后国内有人做了翻译,见:

  • 我的最爱Lambda演算——开篇 · cgnail's weblog
  • 阿隆佐.丘奇的天才之作——lambda演算中的数字 · cgnail's weblog
  • Lambda演算中的布尔值和选择 · cgnail's weblog
  • 为什么是Y? · cgnail's weblog
  • 从Lambda演算到组合子演算 · cgnail's weblog
  • Lambda演算的类型 · cgnail's weblog
  • 终章,Lambda演算建模——程序即证明! · cgnail's weblog

Vonfry | 论极语易 since 2015.

/

Built with Org Mode / ox-publish.

/
Repos / GitHub / Misskey / Email