亚洲国产区中文,国产精品91高清,亚洲精品中文字幕久久久久,亚洲欧美另类久久久精品能播放

類型論體系

主要

簡(jiǎn)單類型λ演算，一種高階邏輯；

直覺(jué)類型論；

系統(tǒng)F;

LF經(jīng)常用來(lái)定義其他類型論；

構(gòu)造演算及其派生理論。

次要

Automath （ 英語(yǔ) ： Automath ） ；

ST類型論;

組合邏輯的一些形式；

λ立方體 （ 英語(yǔ) ： Lambda cube ） 中定義的其他；

其他有類型λ演算;

其他 純類型系統(tǒng) （ 英語(yǔ) ： pure type system ） 。

活躍

正在研究中的同倫類型論

參考文獻(xiàn)

延伸閱讀

Andrews, Peter B., 2002. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof , 2nd ed. Kluwer Academic Publishers.

Cardelli, Luca, 1997, "Type Systems," in Allen B. Tucker, ed., The Computer Science and Engineering Handbook . CRC Press: 2208-2236.

Mendelson, Elliot, 1997. Introduction to Mathematical Logic , 4th ed. Chapman & Hall.

Pierce, Benjamin, 2002. Types and Programming Languages . MIT Press. ISBN 0-262-16209-1)

Thompson, Simon, 1991. Type Theory and Functional Programming . Addison-Wesley. ISBN 0-201-41667-0.

Winskel, Glynn, 1993. The Formal Semantics of Programming Languages, An Introduction . MIT Press. ISBN 0-262-23169-7.

參見(jiàn)

羅素公理體系

直覺(jué)類型論

有類型lambda演算

類型系統(tǒng)

域理論

范疇論

免責(zé)聲明：以上內(nèi)容版權(quán)歸原作者所有，如有侵犯您的原創(chuàng)版權(quán)請(qǐng)告知，我們將盡快刪除相關(guān)內(nèi)容。感謝每一位辛勤著寫(xiě)的作者，感謝每一位的分享。