noun
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.