跟大家分享一份难得的资料：
2012年在普林斯顿大学参加图灵诞辰百年活动，图灵奖得主Dana S. Scott教授在现场给与会者发了两页纸——他亲自梳理的从1870年代到2010年代的λ-calculus的发展历程。
这份材料一直没舍得丢，回国时也带回来了。可惜后来和其他文件粘到一起，导致分开时有些破损（图1-2）。
用DeepSeek把 这份材料上的知识点都梳理一遍，总体上整理得很不错（图3-6），一起分享给大家[作揖]
发布于 北京