2,728
次編輯
「型別理論與形式證明筆記」修訂間的差異
跳至導覽
跳至搜尋
→Ch3. 二階有型別lambda運算Second order typed lambda calculus
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 294： | 行 294： | ||
==Ch3. 二階有型別lambda運算Second order typed lambda calculus== | ==Ch3. 二階有型別lambda運算Second order typed lambda calculus== | ||
參見此[https://repo.kianting.info/yoxem/notes-of-type-theory-and-formal-proof/src/branch/master/TypeTheoryAndFormalProofCh3Sec1.pdf PDF]（[[TypeTheoryAndFormalProofCh3Sec1.pdf|備份]]） | 參見此[https://repo.kianting.info/yoxem/notes-of-type-theory-and-formal-proof/src/branch/master/TypeTheoryAndFormalProofCh3Sec1.pdf PDF]（[[File:TypeTheoryAndFormalProofCh3Sec1.pdf|備份]]） | ||
=附註：本筆記使用的邏輯推演排版法= | =附註：本筆記使用的邏輯推演排版法= | ||