タイプ理り論ろん

noun

type theory

Technical term in logic and computer science; refers to formal systems that classify values into types to avoid paradoxes.

• ラッセルのパラドックスを避さけるためにタイプ理り論ろんが提てい案あんされた。

  Type theory was proposed to avoid Russell's paradox.