类型论

音义

广训

在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。

组词

类 型 论

相关

• 七元
• 三唑锡
• 三指植种蝇
• 交通环境容量
• 制动减速度
• 合肥二中
• 名雅居
• 圣若瑟修院
• 国旗班
• 宝珠洞
• 宫廷政变
• 寺井
• 实芯理化板
• 小花清风藤
• 张田村
• 快快快
• 教堂脱险
• 捕风浪子
• 晞露
• 朝阳捷座
• 生物燃料电池
• 白玉江
• 砼浇筑
• 穿越农家生活
• 红外线显微镜
• 蒋官屯街道
• 那隆镇
• 速度滑冰
• 郭超人
• 钝齿柃
• 银河北路街道
• 锦城大厦
• 陈小录
• 陈国龙
• 防爆空调
• 香芋冰皮月饼
• 黑龙江京黄芩
• 乃东区
• 宫村伊澄
• 崛田德男
• 中信标普指数
• 草莓颗粒酱
• 蟹酿橙
• 姜真浩
• 珑抬头
• 非天夜翔
• 长齿柄鳞鲷
• 格皮氏海参
• 小小说月报
• 化纤与纺织