看板 [ PLT ]
討論串[問題] lambda演算的水有多深？
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[問題] lambda演算的水有多深？
推噓3(3推 0噓 10→)留言13則，0人參與, 最新作者carelai (風云人物)時間10年前 (2013/11/17 23:14), 編輯資訊
1
0
0
內容預覽:
很久以前根據一本入門書，自學過lambda calculus，覺得這東西也不是太難，. 似乎稍花些氣力就可以掌握全部，自己的一些想法還可以通過編程驗證。. 但是最近，聽說lambda calculus的水其實很深，有些學者一輩子研究它都研究. 不透，典型的就是英國牛津有些教授一直在專門做這個，所以我
#2
Re: [問題] lambda演算的水有多深？
推噓3(3推 0噓 0→)留言3則，0人參與, 最新作者CindyLinz (Cindy Wang)時間10年前 (2013/11/18 14:18), 編輯資訊
0
0
1
內容預覽:
可以參考一下這篇文章:. http://www.yinwang.org/blog-cn/2013/07/13/church-turing/. 對於作者本人, 我覺得立場強烈,. 所以大概不會每個角落都絕對地中肯嚴謹.. 不過還蠻值得參考的, 至少它代表有人是這樣在理解的. ^^. --. ※ 發信站
首頁
上一頁
1
下一頁
尾頁