类型论

✍ dations ◷ 2025-02-23 06:49:27 #类型论

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

相关

单系群单系群（英文：Monophyletic group，也称为单系类群）在支序分类中指的是一个分类单元（Taxon），其中的所有物种，只有一个共同的祖先，而且它们就是该祖先的所有后代。单系群也可以被这样定
匿名戒酒会匿名戒酒会，或称戒酒无名会（英语：Alcoholics Anonymous，简称AA）是一个国际性互助戒酒组织，在1935年6月10日，由美国人比尔·威尔逊(Bill Wilson)和医生鲍勃·史密斯在美国俄亥俄州阿
地理9,629,090 平方公里9,158,960 平方公里470,131 平方公里8,893 公里3,327 公里19,920 公里美国位于西半球，由美国本土、阿拉斯加州及夏威夷州三个部分所组成：美国本土包含北美
疟蚊见内文疟蚊属（学名：Anopheles），别称按蚊或马拉利亚蚊，是蚊科（Culicidae）下的一属，成虫的特征是翅膀大多数有斑，停留时身体与停留面保持一角度。其中有30—40种是疟原虫属生物的寄主，会
IFNG1EKU, 1FG9, 1FYH, 1HIG, 3BES· extracellular space· negative regulation of transcription from RNA polymerase II promoter · neutrophil apoptotic process · r
美国医学会美国医学会（American Medical Association，缩写AMA），成立于1847年，1897年成为法人，为美国最大的医生组织。总部位于芝加哥。会员人数超过21万（2010年）。组织代表美国医生（M.D. 和 D
未来可能形成的超大陆（英语：supercontinent），一般定义为拥有一个以上陆核（continental core）或克拉通的大陆。以下为地质年代中曾出现与可能形成的超大陆，依照时间顺序排列：
呋喃妥英呋喃妥因（英语：Nitrofurantoin）商品名称Macrobid，是一种用作治疗尿道感染的抗生素。对于肾脏感染（英语：Pyelonephritis）不具效用，须以口服方式服用。常见副作用包含恶心、食欲不振、
五百人会议五百人会议（Boule），又译作五百人议事会，是古希腊城邦雅典的民主政制的核心，它的职责是落实公民大会的决策，是一个总司一切事务的行政组织，为前6世纪晚期克利斯提尼改革时创立的机构
希腊数字希腊数字是一套使用希腊字母表示的记数系统，也称为爱奥尼亚数字、米利都数字、亚历山大数字、字母数字。在现代希腊，它们仍被使用在序数词上，并且很大程度上同西方使用罗马数字