2,619
次編輯
「型別理論與形式證明筆記」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 1： | 行 1： | ||
{{Nav|程式語言、邏輯學}} | {{Nav|程式語言、邏輯學}} | ||
'''編輯格式注意''' | |||
# 章節內文太多的時候，拆成新頁面。 | |||
# typst 撰寫 + pandoc 產生貼上於個人維基的內容。 | |||
=第1章：無型別lambda運算(untyped lambda calculus)= | |||
= 第2章：簡單型別lambda運算(simple typed lambda calculus) = | = 第2章：簡單型別lambda運算(simple typed lambda calculus) = | ||