Category:类型论

• 类型论

-

• 強弱型別

B

• BHK释义

C

• 协变与逆变
• 柯里-霍华德同构

L

• Lambda立方体

S

• 数学结构
• Static cast
• ST类型论

主

• 主体类型

依

• 依赖类型

值

• 值 (電腦科學)

单

• 单值类型

参

• 参数多态

可

• 可空类型
• 可选类型

合

• 合一

同

• 同伦类型论

型

• 型別安全
• 型別構造器
• 類型系統

基

• 基于原型编程

子

• 子类型

定

• 定型环境

开

• 开闭原则

抽

• 抽象类型
• 抽象資料型別

新

• 新基础集合论

有

• 有类型λ演算

构

• 构造演算

泛

• 泛等基础

特

• 特设多态

直

• 直觉类型论

简

• 简单类型λ演算

类

• 类型居留问题
• 类型推论
• 类型擦除
• 类型签名
• 类型类
• 类型转换

系

• 系统F

组

• 组合范畴语法

逻

• 逻辑框架

里

• 里氏替换原则

高

• 高阶逻辑

鸭

• 鸭子类型