类型论

✍ dations ◷ 2025-01-22 19:33:24 #类型论

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

相关

健康人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学健康是指生物的功能性和代谢效率的水
小病疾病是生物在一定原因的损害性作用下，因自稳调节紊乱而发生的异常生命活动过程，是特定的异常病理情形，而且会影响生物体的部分或是所有器官。一般会解释为“身体病况”（medical
润肤剂润肤膏，是一种日用品，功能是润肤及护肤。润肤膏由天然物料或者石油等化学物料合成。在商品市场上定位为化妆品或药品。润肤膏在冬日令皮肤避免干燥损伤。润肤膏保持皮肤湿润，可
奈韦拉平奈韦拉平（英语：Nevirapine，NVP），是预防艾滋病的药物，尤其是针对HIV-1感染。常见的销售药品名为 Viramune，一般会建议和其他抗反转录病毒药物合并使用。本品可用于预防母婴垂直感染（
半干旱地区半干旱气候，又称草原气候，是降水量低于潜在的蒸散量，但又不像干旱气候那么极端的一种气候类型。柯本气候分类法提供的更精确定义是生态特征在沙漠气候和潮湿气候之间的气候。本
Index FungorumIndex Fungorum是一个免费的真菌学线上数据库，由英国伦敦的基尤皇家植物园（英语：Royal Botanic Gardens, Kew）、新西兰的土地保护研究所（英语：Landcare Research）与中国科学院微生
恶性疟原虫Oscillaria malariae Laveran, 1881 Plasmodium malariae Marchiafava and Celli, 1885 Laverania malariae Feletti and Grassi, 1890 Ematozoo falciforme Antolisei and
会旗联合国会旗，亦称联合国旗，启用于1946年12月7日，以蓝色为底，中央的白色标志同时为联合国标志。标志主题为采用方位等距投影（英语：Azimuthal equidistant projection）绘制、从北极下
丁烷丁烷，又称正丁烷，是一种有机化合物，分子式为C4H10，结构式为CH3CH2CH2CH3。丁烷在常温常压下是一种无色、易液化、易燃的气体。它最早由英国化学家爱德华·弗兰克兰德（英语：Edward
资源水资源包括经人类控制并直接可供灌溉、发电、给水、航运、养殖等用途的地表水和地下水，以及江河、湖泊、井、泉、潮汐、港湾和养殖水域等。水资源是发展国民经济不可缺少的重