类型论

✍ dations ◷ 2024-07-03 02:43:04 #类型论

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

相关

荨麻疹荨麻疹（hives、urticaria）是一种很常见的皮肤病，俗称风团或风疹块，有的地区叫鬼风疙瘩，中医称瘾疹，客语称冷瘼，是一种皮肤过敏。症状是局部皮肤忽然成块地红肿，发痒或刺痒。病灶时常
太阳光太阳光，广义的定义是来自太阳所有频谱的电磁辐射。在地球，阳光显而易见是当太阳在地平线之上，经过地球大气层过滤照射到地球表面的太阳辐射，则称为日光。当太阳辐射没有被云遮蔽
丧事丧事，是指对死者表示哀悼的相关仪式（如葬礼）、习俗、禁忌等，而亲人或一些对本身重要的人物去世后的一些特定习俗则称为读礼、守制、守丧、守孝、服丧、居丧等。最常见的是穿着丧
Ksup+/sup钾离子（K+）是金属元素钾的阳离子。钾是人类营养中的一种必要宏量元素，也是动物细胞中主要的阳离子，同时在体液及电解质平衡上非常的重要。大量血浆（约每天180升）在肾脏的肾小球处
艾滋病本列表根据美国中央情报局所出版之《世界概况》，列出世界各国家与地区中，成年人感染人类免疫缺乏病毒（HIV）的人口数量。表格数据都来源于《世界概况》。标注星号*意味世界概况无
呼吸作用呼吸作用，又称为细胞呼吸（Cellular respiration），是生物体细胞把有机物氧化分解并转化能量的化学过程，也称为释放作用。无论是否自养，细胞内完成生命活动所需的能量，都是来自呼吸作
经济思想史经济思想史（History of economic thoughts），有时也称为经济学史（history of economic theory），是通过对过去的经济理论发展和变迁的追溯，针对“经济对于人类意味着什么”这个根本问
基本粒子粒子物理学中，基本粒子（英语：elementary particle）是组成物质最基本的单位。其内部结构未知，所以也无法确认是否由其它更基本的粒子所组成。随着物理学的不断发展，人类对物质构成
哈德逊湾哈德森湾（英语：Hudson Bay，或称哈德逊湾）位于加拿大东北部巴芬岛与拉布拉多半岛西侧的大型海湾，面积122.6万平方千米。平均水深257米。北部时常会有北极熊出现。主要港口有丘吉尔
renal肾（Kidney）是脊椎动物体内的一种器官，属于泌尿系统的一部分，负责过滤血液中的杂质、维持体液和电解质的平衡，最后产生尿液经由后续管道排出体外；同时也具备内分泌的功能以调节血压