type theory

名词 n.
中文释义

英文释义

名词 n.
  1. A branch of mathematical logic and theoretical computer science concerned with types. uncountable,usually
    — Although it is not generally regarded as the foundation for classical mathematics, set theory being more customary, type theory still has numerous applications, especially in computer science and the theory of programming languages.

词形变化

type theories plural
1 次浏览 数据来源: Wiktionary