2,617
次編輯
「型別理論與形式證明筆記」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 1： | 行 1： | ||
{{Nav|程式語言、邏輯學}} | {{Nav|程式語言、邏輯學}} | ||
{{isbn|9781107036505}} | |||
原標題：''Type Theory and Formal Proof: An Introduction'' | |||
作者：Rob Nederpelt, Herman Geuvers | |||
'''編輯格式注意''' | '''編輯格式注意''' | ||