类型论
概述
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。
2 扩展释义
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。
9 词语组词
相关词条
本词条最后更新于 2026-07-12 13:05:00
友情链接
抓书网
短词网
书号查询
星云网
【检讨书收藏】 检讨书5000字反省自己之二篇二是什么意思？
无人机是什么意思？
西宁天气预报30天是什么意思？
亡秦三户是什么意思？
贼平后送人北归是什么意思？
孙静松 拼音 sūn jìng sōng，一文读懂「孙静松」的含义、出处与用法。 sūn jìng sōng 国典词典 - 汉语词语大全 2026-06-30 15:41:30是什么意思？
醡是什么意思？
星座查询是什么意思？
不同凡响是什么意思？
公务员简历自我评价(锦集18篇)是什么意思？
肖燕燕是什么意思？
心血管系统疾病是什么意思？
查看广西天气-苏州天气预报 查看广西天气 广西是什么意思？
电感单位换算 在线电感换算是什么意思？
丘是什么意思？
风吹雨打是什么意思？