PTT數位生活區 / PLT (程式語言與理論)

[問題]介紹lampda calculus的書

看板PLT (程式語言與理論)作者allstarschh (allstars)時間17年前 (2008/07/04 11:50)推噓0(0推 0噓 0→)

留言0則, 0人參與討論串1/3 (看更多)

想了解lambda calculus 有在網路上找了一下但大部分天瓏沒有在賣目前知道天瓏有的就是 Benjamin C. Pierce 的Types and Programming Languages 如果大家有不錯的書希望能介紹一下台灣買不到也沒關系 thanks -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 211.22.63.250

‣ 返回看板[ PLT ] 研討

‣ 更多 allstarschh 的文章

文章代碼(AID): #18RPu1X9 (PLT)

討論串 (同標題文章)

以下文章回應了本文 (最舊先)：

Re: [問題]介紹lampda calculus的書

17年前, 07/05

Re: [問題]介紹lampda calculus的書

17年前, 07/05

完整討論串 (本文為第 1 之 3 篇)：

排序：最舊先 | 最新先 | 留言數

[問題]介紹lampda calculus的書

17年前, 07/04

Re: [問題]介紹lampda calculus的書

17年前, 07/05

Re: [問題]介紹lampda calculus的書

17年前, 07/05

在新視窗開啟完整討論串 (共3篇)

PLT 近期熱門文章

2

2

[情報] 2023年圖靈獎得主 Avi Wigderson

1年前, 04/10

3

6

[連結] FunTh#84

1年前, 05/03

1

1

Fw: [台北] 中研院資訊所穆信成實驗室徵專任研究助理

2年前, 02/18

1

1

[實作] J001：用 MinGW 編譯 Ratfor

2年前, 08/19

2

5

[連結] Functional Programming @ COSCUP 2022

3年前, 04/27

1

3

求求labview高手指點

3年前, 12/16

3

3

[閒聊] 怎麼跟剛學 (Rust) 程式的人解釋指標？

3年前, 11/10

2

5

[討論] 請問要簡單的檔案歸檔

3年前, 07/07

更多近期熱門文章 >>

PTT數位生活區即時熱門文章

14

29

[情報] 英特爾 2026 年推 Nova Lake CPU，以 LGA

[ PC_Shopping ]

1小時前, 04/21

5

26

[菜單] 40K 遊戲機

[ PC_Shopping ]

1小時前, 04/21

21

59

Re: [情報] RX 9070XT 在歐洲銷量比 RTX 5080 高10倍

[ PC_Shopping ]

2小時前, 04/21

9

23

Re: [情報] 極客灣評測5060ti 8G/16G

[ PC_Shopping ]

2小時前, 04/21

4

6

[閒聊] 台灣銀行業沒有區塊鏈職缺嗎？

[ DigiCurrency ]

2小時前, 04/21

44

116

[情報] Vivo X200 Ultra 價格出來了

3小時前, 04/21

7

21

[問題] 換電池or行動電源？

4小時前, 04/21

49

110

[情報] RX 9070XT 在歐洲銷量比 RTX 5080 高10倍

[ PC_Shopping ]

4小時前, 04/21

更多即時熱門文章 >>

‣ 返回看板[ PLT ] 研討

‣ 更多 allstarschh 的文章

文章代碼(AID): #18RPu1X9 (PLT)