类型论

✍ dations ◷ 2024-11-05 16:31:41 #类型论

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

相关

慢性肺部阻塞疾病慢性阻塞性肺疾病（英语：Chronic obstructive pulmonary disease，缩写为COPD），常简称为慢阻肺。是一种以持续性的气流受限为特征的阻塞性肺疾病（英语：Obstructive lung disease）。其
肝功能试验肝功能测试是为了解病患肝脏的状态，设计而成的临床生化学实验室血液检测方法的总称。相关测试参数包括：PT/INR（凝血酶原时间／国际标准化比值）、aPTT、白蛋白、胆红素（直接和间接）、
增长的极限《增长的极限》是罗马俱乐部于1972年发表的、对世界人口快速增长的模型分析结果。丹尼斯·米都斯（Dennis L. Meadows）主笔。这本书用World3模型对地球和人类系统的互动作用进
主动脉瓣狭窄主动脉瓣狭窄（Aortic stenosis，简称AS或AoS）乃描述左心室通向主动脉的瓣膜口狭窄的现象。可能是由主动脉瓣（英语：aortic valve）的结构异常造成，或主动脉瓣的上游或下游解剖结构的异
油粒体油粒体（英语：elaioplast, elioplast），又称油质体、造油体，是植物细胞中的一种质粒体，属于白色体，其主要功能为储存和合成脂质。油粒体的英文名称elaioplast来自古希腊文的ἔλαι
破伤风梭菌破伤风梭菌（学名：Clostridium tetani）是一种梭菌属的杆状专性厌氧菌，外观类似网球拍和鸡腿，是破伤风的病原体。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、疫苗）
美国山区美国山区（Mountain States）是美国人口调查局的九个官方分区之一，也是美国西部的一部分。美国山区一般分为两个部分，西北部包括了爱达荷州、蒙大拿州、怀俄明州，西南部则包括了亚
msup2/sup平方米，又称为“平方公尺”（符号为m2）是面积的公制单位，其定义是“在一平面上，边长为一米的正方形之面积”。中国大陆在表示房间面积等时又常简称为“平米”或“平”。（1km²=1000
反义链（英语：Sense，也称股）在分子生物学中指一段核酸分子（如RNA与DNA）及其互补序列在指定氨基酸序列中的作用性质。例如，若RNA可以直接合成蛋白质，则该段RNA为正链；反之，若RNA需要先进行转
对氨基水杨酸钠4-氨基水杨酸（英语：4-Aminosalicylic acid，又名对氨基水杨酸、氨基水杨酸或PAS）是一种用于治疗结核病的抗菌药。它也被用于治疗炎症性肠病。它通过抑制NF-κB及清除自由基而发