2,617
次編輯
「型別理論與形式證明筆記」修訂間的差異
跳至導覽
跳至搜尋
→2.2 simple type 簡單型別 =
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 4： | 行 4： | ||
= 第2章：簡單型別lambda運算(simple typed lambda calculus) = | = 第2章：簡單型別lambda運算(simple typed lambda calculus) = | ||
== 2.2 simple type 簡單型別 | == 2.2 simple type 簡單型別 == | ||
型別變數 type variable：<math display="inline">{\mathbb{V}} = \left\{ \alpha,\beta,\gamma,\ldots \right\}</math>用希臘字母表示。 | 型別變數 type variable：<math display="inline">{\mathbb{V}} = \left\{ \alpha,\beta,\gamma,\ldots \right\}</math>用希臘字母表示。 | ||