For faster navigation, this Iframe is preloading the Wikiwand page for 类型论.

类型论

维基百科,自由的百科全书

此条目已列出参考文献,但因为没有文内引注而使来源仍然不明。 (2015年12月16日)请加上合适的文内引注来改善这篇条目

在最广泛的层面上,类型论(英语:type theory)是关注把实体分类到叫做类型的搜集中的数学逻辑分支。在这种意义上,它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的,并在伯特兰·罗素阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。

电脑科学分支中的编程语言理论中,类型论提供了设计分析和研究类型系统的形式基础。实际上,很多电脑科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究,尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。

类型论体系

主要

次要

活跃

参考文献

延伸阅读

参阅

外部链接

{{bottomLinkPreText}} {{bottomLinkText}}
类型论
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.