类型论

✍ dations ◷ 2025-07-18 08:59:59 #类型论

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

相关

公共卫生公共卫生是通过组织社区资源，为公众提供疾病预防和健康促进的一门管理学，它使用预防医学、健康促进、环境卫生、社会科学等技术和手段。公共卫生体系由国际公共卫生组织、国家
型态学是技术分析中重要的一环，最早可追溯至道氏理论。主要记录价格的变动，并将其转换成图表显示。由于目标测量的关系，使技术分析的支持者喜欢采用。根据所在位置，分成两大类：根据形状
超声心动图超声心动图，是一种心脏超声波检查，它使用标准的超声波技术显示心脏的二维图片。现在最新的超声诊断系统采用三维及时成像。耗时大约15-20分钟，甚至更长。除了产生心血管系统的
针灸针灸是针法和灸法的合体。中医学中采用针刺或火灸人体穴位来治疗疾病，是联合国教科文组织认定的人类非物质文化遗产代表作。根据中医学理论，通过刺激穴位可以改善经络中的气的
海藻糖海藻糖（Trehalose）是自然界的动植物和微生物中广泛存在的一种双糖，它是由2个葡萄糖通过 α,α-1,1-糖苷键所形成的非还原性糖，按其化学结构可写成 α-D-吡喃葡萄糖基-(1→1)-α-
产气荚膜梭菌产气荚膜杆菌（学名：Clostridium perfringens）是革兰氏阳性杆状厌氧菌，因能分解肌肉和结缔组织中的糖类而产出大量气体以及可以在体内能形成荚膜而得名。发现于人类和其他脊椎动
醋酸铅2.55 g/cm3（三水合物）75 °C（三水合物分解）乙酸铅，又称醋酸铅，是一种白色晶体状化合物，带甜味。将铅黄（一氧化铅）和乙酸反应可以制备乙酸铅。和其他铅化合物一样，乙酸铅也有很大毒性
周边血管疾病周边动脉疾病（Peripheral artery disease, PAD），可以称为周边血管疾病（Peripheral vascular disease, PVD）、周边动脉阻塞性疾病（Peripheral artery occlusive disease, PAOD），或是
msup2/sup平方米，又称为“平方公尺”（符号为m2）是面积的公制单位，其定义是“在一平面上，边长为一米的正方形之面积”。中国大陆在表示房间面积等时又常简称为“平米”或“平”。（1km²=1000
雷打雪雷打雪（英语：thundersnow），又称雷雪或雷打冬，是指某个区域降雪过程中伴随着打雷或者在冬天打雷的天气现象。这种天气现象非常罕见，但平均而言北美比东亚常见。当某个区域冬季的气