タイプ理り論ろんMeanings1nountype theorylogicTechnical 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.
