术语 · Terminology

术语翻译表

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

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

下载稳定术语表下载完整术语表提交新术语

类型论与数学基础

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

共 71 个义项

31 inductive type（类型论与数学基础）归纳类型

32 internal choice（类型论与数学基础）内选择

33 interval type（类型论与数学基础）区间类型

34 intrinsic（类型论与数学基础）内蕴

35 judgment（类型论与数学基础）判断

36 Liskov substitution principle (LSP)（类型论与数学基础） Liskov 替换原则

37 Martin-Löf type theory (MLTT)（类型论与数学基础） Martin-Löf 类型论

38 nominal type theory（类型论与数学基础）记名类型论

39 normalization（类型论与数学基础）正规性

40 normalization by evaluation（类型论与数学基础）语义正规性

41 object of truth values（类型论与数学基础）真值对象

42 parametric polymorphism（类型论与数学基础）参数多态

43 pattern matching（类型论与数学基础）模式匹配

44 philosophy of mathematics（类型论与数学基础）数学哲学

45 polymorphic type theory（类型论与数学基础）多态类型论

46 predicativity（类型论与数学基础）直谓性

47 product type（类型论与数学基础）积类型

48 progress and preservation（类型论与数学基础）可进性与保型性

49 propositional equality（类型论与数学基础）命题相等

50 propositional extensionality（类型论与数学基础）命题外延性

51 ramified type theory（类型论与数学基础）分歧类型论

52 regularity（类型论与数学基础）正则性

53 simpler indexed types（类型论与数学基础）简化归纳族

54 simply typed λ calculus（类型论与数学基础）简单类型 λ 演算

55 structural subtype（类型论与数学基础）结构子类型

56 structural type theory（类型论与数学基础）不记名类型论

57 subject reduction（类型论与数学基础）类型不变性

58 subobject classifier（类型论与数学基础）子对象分类子

59 substitution（类型论与数学基础）替换

60 subtype（类型论与数学基础）子类型