#数学

最经典的类型论例子：无类型 λ 演算的规则、使用和合流性。

群论研究对称性的代数结构，是现代代数的重要内容，在几何、物理、密码学中均有广泛应用。

交换代数研究交换环及其上的模，是代数几何与代数数论共同的语言基础。

范畴论以高度抽象的方式统一数学结构，揭示不同数学领域之间的深层联系。

微积分学研究连续变化，以极限为基础，建立导数与积分理论，是现代分析学的出发点。包含：广义的数学分析及微积分有关的零散主题。