type theory

短语

[计] 类型论, 类型理论

词形变化

type theories 复数 type theories

释义与例句

n.
  1. 1.

    A branch of mathematical logic and theoretical computer science concerned with types.

    不可数 计算机 工程 数学