型かた理り論ろん

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.