类型论

✍ dations ◷ 2025-10-29 03:04:05 #类型论

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

相关

肺炎分枝杆菌肺炎支原体（Mycoplasma pneumoniae、霉浆菌性肺炎）是一种可导致肺炎的支原体细菌，也有机会导致冷凝集素症（英语：cold agglutinin disease）。这种由肺炎支原体引起的肺炎，又称作霉浆
听诊器听诊器是一种医学仪器，用以聆听身体内的声音，例如：心脏、呼吸及肠胃等等。听诊器由法国医生雷奈克（Laennec）于1816年创造，于1819年公布。听诊器是医生检查病人、诊断疾病的一种重
融合抑制剂融合抑制剂（fusion inhibitor），又称为进入抑制剂（entry inhibitor），是一种抗艾滋病靶向药物，能够防止艾滋病病毒（HIV）与质膜融合从而阻断HIV感染CD4+ T细胞。融合抑制剂不仅能避免HIV
MCHC平均细胞血红蛋白浓度（mean corpuscular hemoglobin concentration、MCHC）是测量定量血红细胞中的血红蛋白浓度。它是血常规检测中的一项。该指标的成年人正常范围大约在320-
亚急性硬化性全脑炎亚急性硬化性全脑炎（Subacute sclerosing panencephalitis, SSPE) 是一种感染麻疹病毒后的脑炎并发症，是一种会致命、渐进性，造成中枢神经广泛去髓鞘的慢性中枢神经退化性疾病，
色欲性欲，指对性的渴望。一般科学家认为，性欲是一种本能欲望，对于繁殖下一代有利。至于对大多数动物而言，性欲只存在于发情期时，而动物的发情期通常都是季节性的（例如春天）。对于某些宗
麦司卡林麦司卡林，学名三甲氧苯乙胺，俗称仙人掌毒碱，属于苯乙胺的衍生物。它是从一种生长在美国南部和墨西哥北部的乌羽玉属物种的种籽、花粉中提取出来的致幻剂型毒品。麦司卡林最主要
强的松17-hydroxy-17-(2-hydroxyacetyl)-10,13-dimethyl-7,8,9,10,12,13,14,15,16,17- decahydro-3泼尼松（英语：Prednisone），又名“去氢可的松”或“强的松”，它是一种口服的糖皮质激
麦芽三糖麦芽三糖（Maltotriose）为一种三糖，由三个葡萄糖分子组成，并以 α-1,4 糖苷键相链接。果聚糖：菊粉 · 果聚糖β2→6甘露聚糖：低聚木糖：半乳聚糖：
世界卫生组织基本药物标准清单世界卫生组织基本药物标准清单（法语：Listes modèles OMS des médicaments essentiels；英语：WHO Model List of Essential Medicines；简称EML）是世界卫生组织（WHO或称世卫组织）的出