最終更新日：2024/08/08

(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.

正解を見る

type theory

問題を編集する

元となった辞書の項目

type theory

noun

(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.

Type theory is a branch of mathematics that studies the properties of types.

意味（1）

(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.

Coordinate term: set theory