作者查詢 / xcycl

總覽項目：發文 | 留言 | 暱稱

作者 xcycl 在 PTT [ NTU ] 看板的留言(推文), 共8則

限定看板：NTU

首頁

尾頁

[ NTU ]7 留言, 推噓總分: +7

作者: suhorng - 發表於 2014/05/15 22:37(11年前)

14^F→xcycl:今年的邏輯的確很吸引人 ...05/15 00:04

18^F→xcycl:Harper 那本沒有 DTP 跟 Martin-Lof's type theory05/15 13:36

19^F→xcycl:也沒有 denotational semantics05/15 13:37

20^F→xcycl:真的有關聯的大概就是 op. sem.05/15 13:37

22^F→xcycl:唸書的時候理論組都是數學背景 XD05/15 13:55

32^F→xcycl:噢喔噢！但說 cat. 是精髓有點太偏了 ...05/15 17:36

35^F→xcycl:啊，我拖稿了 =_=05/15 18:47

36^F→xcycl:不想寫得原因是一開始忘了放 product 要含糊帶過 ..05/15 18:56

首頁

尾頁