类型论

✍ dations ◷ 2025-10-08 07:08:25 #类型论

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

相关

万古霉素万古霉素（Vancomycin，INN）是一种糖肽类抗生素，用来治疗许多细菌感染的抗细菌药抗生素。治疗皮肤感染、败血症、心内膜炎、骨关节感染以及因耐甲氧西林金黄色葡萄球菌（MRSA）引起的
内毒素内毒素是存在于病原体如细菌内的天然化合物，具有潜在的毒性。一般来说，内毒素不同于外毒素，活的细菌是不会分泌可溶性的内毒素的。内毒素是细菌的结构成分，当细菌被溶解时而被细
肺肺是很多进行空气呼吸的动物的呼吸系统中重要的一个器官，大部分四足类动物、一些鱼类和蜗牛都有肺。哺乳动物和其他身体结构较为复杂的动物则拥有两个肺，其位于胸腔中靠近脊柱
热能食物热量（英语：Food energy），泛指食物经过消化，通过细胞的代谢，所能获得的能量。单位以每公克焦耳或每公克卡路里方式表示。在实验室中，将食物燃烧，去计算其燃烧所消耗的重量，与其加
詹纳爱德华·詹纳（英文：Edward Jenner，1749年5月17日－1823年1月26日），FRS，亦译作爱德华·金纳或琴纳，是一名英国医生，生于英国告罗士打郡伯克利牧区一个牧师家庭，以研究及推广牛痘疫苗，防止
药物戒断药物戒断（英语：drug withdrawal），一种因为停止药物治疗，或停止娱乐性药物、烟草、酒精的服用，而产生的综合症（symptoms）。在产生物质依赖的现象后，突然停止服用药物，在12至48小时内就
氢氧化钡氢氧化钡是一种钡的化合物，分子式为Ba(OH)2，通常外观为白色颗粒状。氢氧化钡在分析化学中的滴定法可以当做弱酸的指示剂，对有机的弱酸别有效。它透明的溶液是不含碳酸盐的。不
大气层大气层，均源自及也许是一层受到重力吸引聚拢在拥有巨大质量天体周围的气体，而如果重力够大且气体的温度够低，就能长期保留住。有些行星拥有许多不同的主要气体，并且有非常深厚的
欧俄欧洲俄罗斯（俄语：Европейская часть России），简称欧俄，是指俄罗斯位于欧洲的部分，为俄罗斯在历史与文化上主要的组成区块。面积约396万平方公里，占俄罗斯领
阿杰隆阿杰隆(阿拉伯语：عجلون‎是约旦的城镇，位于该国西北部，是阿杰隆省的首府，距离首都安曼76公里，海拔高度793米，该城镇有一处十二世纪城堡的遗址，2009年人口8,356。坐标：32°21′N