type theory
Technical term in mathematics and computer science for formal systems that classify values, expressions, or objects into types.
Type theory is applied to the design of programming languages.
This paper proposes a proof assistant based on dependent type theory.
Compound of 型 (type, pattern) and 理論 (theory). A direct translation of the English term 'type theory'.