视频目录 / 数学逻辑、集合与证明

热度排名 #1809

达纳·斯科特：λ 演算的过去和现在

Dana S. Scott: Lambda Calculus, Then and Now

从函数如何接收另一个函数入手，听斯科特谈这套语言怎样发展。可留意当表达式反复代入时，数学语义还要解释哪些问题。

princetonacademics · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2013-10-26 · 帖子分数 1