TE
科技回声
首页
24小时热榜
最新
最佳
问答
展示
工作
中文
GitHub
Twitter
首页
The invention of lamda-calculus [pdf]
2 点
作者
jegp
将近 3 年前
2 条评论
Tepix
将近 3 年前
There's an unfortunate typo in the headline
jegp
将近 3 年前
What is lambda-calculus and why is it important for the future of computing and natural science?