首页 >
类型论
✍ dations ◷ 2025-06-07 01:16:06 #类型论
在最广泛的层面上，类型论（英语：type theory）是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。
相关
- 理学检查体格检查（physical examination、medical examination、clinical examination、check-up），简称体检，也称做身体检查、理学检查或健康检查，是医生运用自己的感官、检查器具、实验
- 烟曲霉烟曲霉（学名：Aspergillus fumigatus）是属于散囊菌目发菌科曲霉属的一种真菌，可生长在土壤、空气、谷物、污染的食品、霉腐物等基物上。该种分布于中国、澳大利亚、比利时、加拿
- 比索洛尔毕索洛尔（Bisoprolol，商品名：Concor）是一种Beta受体阻滞剂（beta-blocker)，它可以有选择性的通过阻断肾上腺素（adrenalin）与beta-1受体的连接来发挥作用，而不对beta-2受体产生影响。由
- ICD-9编码列表 (E和V代码)Template:Animal bites and stings Template:Drug reactions
- 整合酶抑制剂整合酶抑制剂（亦作INSTIs，Integrase strand transfer inhibitors），是一类抗逆转录病毒药物的统称。逆转录病毒在其生命周期内需要完成一次将病毒DNA整合进宿主细胞核的行动。整
- 急迫性尿失禁过动性膀胱（Overactive bladder，简称OAB），又称为膀胱过动症（Overactive bladder syndrome），急迫性尿失禁；欲望性尿失禁（Urge incontinence），经常会有急切的想去排尿的症状，且会对个人的
- 人均国民生产总值国民生产总值（英语：Gross National Product，缩写：GNP），台湾亦称国民生产毛额，在描述地区性生产时称本地居民生产总值或地区居民生产总值，即某一区域公民一年内所生产的最终产品（包括
- 波多黎各面积以下资讯是以2015年估计国家领袖国内生产总值（购买力平价） 以下资讯是以2016年估计国内生产总值（国际汇率）人类发展指数 以下资讯是以2014估计波多黎各自由邦（英语：The Common
- 生命生命泛指一类具有稳定的物质和能量代谢现象并且能回应刺激、能进行自我复制（繁殖）的半开放物质系统。简单来说，也就是具有生命机制的物体。生命个体一定会经历出生、成长、衰老
- 国家全世界已有30个国家拥有核电站。在这些国家中，有26个国家有建造更多其他核电站的计划，而有4个国家决定不再建造核电站。另外，有15个暂未拥有核电站的国家正在准备建造属于这些
