2021年9月16日
形式语义03 Lambda
摘要： \(\lambda\)-calculus Background 首先这是一种编程语言，在1930s被Alonzo Church和Stephen Cole Kleene发明（两位都是听说过的明星人物） 还是一种计算模型，在1937年被Alan Turing证明其和图灵机的表达能力等价（这位更是重量级） 阅读全文
posted @ 2021-09-16 11:36 jjppp 阅读(209) 评论(0) 推荐(0) 编辑