type theoryWiktionary 原文释义（英文）名词 Noun(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.