首页 >
类型论
✍ dations ◷ 2025-05-09 13:27:33 #类型论
在最广泛的层面上,类型论(英语:type theory)是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上,它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的,并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中,类型论提供了设计分析和研究类型系统的形式基础。实际上,很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究,尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。
相关
- 血红蛋白血红蛋白,又称血红素,俗称血色素,(Hemoglobin(美国) 或 haemoglobin(英国) (/ˈhiːməˌɡloʊbᵻn, ˈhɛ-, -moʊ-/);缩写︰Hb 或 Hgb)是高等生物体内负责运载氧的一种蛋白质。可
- 横贯性脊髓炎贯穿形脊髓炎是由脊髓发炎而导致的、影响到整个一段脊髓的病症,这种炎症将损害轴突,产生脱髓鞘作用、进一步导致中枢神经系统电阻率下降。没影响到整个脊髓的则叫做部分性脊髓
- 胆固醇胆固醇,别名胆甾醇,是一种类固醇及甾醇,化学式为C27H46O。固态是一种无色的结晶。胆固醇是法国医生François Poulletier de la Salle于1784年在胆结石上发现的。其命名cholest
- 心杂音心杂音是血流通过心脏瓣膜时产生的心音,可以用听诊器听见。心杂音有两种类型。功能性杂音(生理杂音)主要由心脏以外的生理构造造成;病理性杂音则是由心脏构造异常所引起。功能性
- MPS单核吞噬细胞系统(英语:Mononuclear phagocyte system、MPS)是高等动物免疫系统的一部分,由可以进行吞噬作用的细胞组成 。通常存在于网状结缔组织(reticular connective tissue)
- 纽约总部联合国总部大楼(亦称联合国大厦)是联合国总部的所在地,位于美国纽约市曼哈顿区东侧,属于国际领土,因此只要是会员国国民持有护照就可以进入,包括与美国无邦交的联合国会员国。从联
- 电网频率家用电源规格会按地区而有不同,但一般来说,电压值通常在100V到240V之间,而最常见的频率值是50Hz和60Hz。部分国家的境外属地的数据与其母国差异很大,因此另外列出而不和母国放在
- 热带热带,(英语:Tropics)的广义是指地球上南、北回归线(南、北纬23度26分)之间的地区的总称,但在气候方面一般会进一步区分出赤道热带和亚热带,无极昼极夜现象。热带有时从气候上定义,指
- 去炎松去炎松(英语:Triamcinolone又叫氟羟氢化泼尼松或曲安西龙)是长效合成的皮质类固醇,可口服、注射、吸入或制成软膏外用。可用来治疗湿疹、银屑病、关节炎、过敏、溃疡性大肠炎(Ulc
- 加沙地带*巴勒斯坦国政府治理下的领土加沙地带(阿拉伯语:قطاع غزة或Qiṭāʿ Ġazzah;希伯来语:רצועת עזה)是西奈半岛东北部地中海沿岸占地363平方公里(140平方哩)的区域,