看板 [ PLT ]
討論串[心得] Y Combinator 與 Mutual Recursion
共 6 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
下一頁
尾頁
#6
Re: [心得] Y Combinator 與 Mutual Recursion
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者scwg ( )時間14年前 (2010/06/10 10:24), 編輯資訊
0
0
1
內容預覽:
應該說, 因為我們假設操作的 logic system 包含 ex false quodlibet. 那麼對任何 type, 從 \bot 出發都寫得出 proof term. 不是很確定兩個 \bot 是不是一樣的東西. 確實, 兩者的來源是不同的.. 不過存在任何 context C[] 把兩個
(還有328個字)
首頁
上一頁
1
2
下一頁
尾頁