类型论 - 小百科

图谱名称: 类型论

父图谱

形式系统理论计算机科学纯数学

子图谱

柯里-霍华德同构 Proof Assistant 立方类型论（CuTT）同伦类型论（HoTT）

相关文章推荐

全部

Link管理 · Sov5搜索 · 小百科

小百科 - 百科知识指南