作者查詢 / joshs

總覽項目： 發文 | 留言 | 暱稱
作者 joshs 在 PTT 全部看板的發文, 共6篇
限定看板：全部
看板排序：
全部PLT5Math1<< 收起看板(2)
首頁
上一頁
1
下一頁
尾頁
Re: [問題] Free Monad 是怎麼來的？
[ PLT ]6 留言, 推噓總分: 0
作者: joshs - 發表於 2013/10/30 22:10(10年前)
Re: [其他] 邏輯中的"定義"該怎麼寫？
[ Math ]9 留言, 推噓總分: +8
作者: joshs - 發表於 2013/04/18 07:52(11年前)
Re: [問題] What does ⊥-elimination do?
[ PLT ]4 留言, 推噓總分: +4
作者: joshs - 發表於 2013/03/06 04:49(11年前)
Re: [問題] What does ⊥-elimination do?
[ PLT ]0 留言, 推噓總分: 0
作者: joshs - 發表於 2013/03/06 02:11(11年前)
Re: [問題] '#'的意思
[ PLT ]1 留言, 推噓總分: 0
作者: joshs - 發表於 2012/12/30 19:49(11年前)
Re: [閒聊] 以下六個分別是什咩語言?
[ PLT ]13 留言, 推噓總分: +4
作者: joshs - 發表於 2009/07/02 12:45(15年前)
首頁
上一頁
1
下一頁
尾頁