类型论

✍ dations ◷ 2025-08-28 14:58:04 #类型论

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

相关

双氧水过氧化氢，分子式H2O2，是除水外的另一种氢的氧化物。粘性比水稍微高，化学性质不稳定，一般以30%或60%的水溶液形式存放，其水溶液俗称双氧水。过氧化氢有很强的氧化性，且具弱酸性。纯
叶酸缺乏症叶酸缺乏症（英语：Folate deficiency）是膳食中缺乏叶酸所致的疾病。叶酸缺乏贫血症是此症状的医学名词。脑叶酸缺乏症(Cerebral Folate Deficiency)是一种近年发现的罕有脑疾，患
紫外线紫外线（英语：Ultraviolet，简称为UV），为波长在10nm至400nm之间的电磁波，波长比可见光短，但比X射线长。太阳光中含有部分的紫外线，电弧、水银灯、黑光灯也会发出紫外线。虽然紫外线不
科恩症候群科恩综合症是一种遗传病，其会导致婴幼儿时生长迟滞与低肌张力、青少年后中广型肥胖、重度到极重度智能障碍。其在阿米甚人的发生率约为1/15000，而其它地方则未明。遗传方面，其
全球变暖全球变暖，或称全球暖化，指的是在一段时间中，地球的大气和海洋因温室效应而造成温度上升的气候变化，为公地悲剧之一，而其所造成的效应称之为全球变暖效应。在2013年，政府间气候变化
奥尔堡自治市奥尔堡自治市（丹麦语：Aalborg Kommune）是丹麦的一个自治市，位于日德兰半岛北部，属北日德兰大区。面积1,133.99平方公里，2009年人口196,292人。首府奥尔堡。2007年由原奥尔堡自治市
北宁市北宁市可以指：
止血止血（英语：hemostasis）：使出血停止。当血管壁的连续性中断后，以下四个事件可阻止进一步出血：血管收缩、血小板血栓形成、血液凝固、机化。血管壁连续性中断后，受损部位及其附近的血
出口出口可以指：
婴儿奶瓶婴儿奶瓶（baby bottle）是上方有奶嘴的瓶子，可以直接饮用里面的液体物。一般是给婴幼儿使用。婴儿奶瓶常用来喂配方奶粉、母乳、口服电解质溶液（英语：pediatric electrolyte solut