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

类型论

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

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

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

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

类型论体系

主要

次要

活跃

参考文献

延伸阅读

外部链接

参见

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