视频目录 / 微积分

热度排名 #1650

超越 λ 演算：巴里·杰伊谈内涵计算｜YOW! 2017

Beyond Lambda-Calculus: Intensional Computation • Barry Jay • YOW! 2017

从两个程序可能总给出同样的结果出发，再问一个程序是否还能检查另一个程序的写法。演讲从这个问题讨论计算的表达能力。

GOTO Conferences · 1 串讨论 · 热度 1.723

在此播放

讨论出处

• Hacker News · 原讨论 ↗2026-07-27 · 帖子分数 2