首页 >
类型论
✍ 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个暂未拥有核电站的国家正在准备建造属于这些