术语 · Terminology

术语翻译表

每条记录都是一个具体数学义项。共识译名记录现实中的稳定译法；待定译名的投票长期持续，不会自动产生共识。

术语表目前仍在施工中，共识译名正在逐步确立，请谨慎参考。

类型论与数学基础
下载稳定术语表 下载完整术语表 提交新术语

类型论与数学基础

分类对象是义项而非英文词形，查看分类说明

共 71 个义项

61 top type（类型论与数学基础） 顶类型
62 type scheme（类型论与数学基础） 类型范式
63 uncurrying（类型论与数学基础） 去 Curry 化
64 unit type（类型论与数学基础） 单位类型
65 unityped λ calculus（类型论与数学基础） 单一类型 λ 演算
66 univalence axiom（类型论与数学基础） 泛等公理
67 universe（类型论与数学基础） 宇宙
68 universe hierarchy（类型论与数学基础） 宇宙层级
69 universe of propositions（类型论与数学基础） 命题宇宙
70 universe polymorphism（类型论与数学基础） 宇宙多态
71 λ-encoding（类型论与数学基础） λ 编码