类型论

分类包含 44 篇文章

子分类： 无

系统F

柯里-霍华德同构

同伦类型论

依赖类型

单值类型

高阶逻辑

定型环境

直觉类型论

合一

可选类型