タイプ理論

タイプ理論は、数理論理学とコンピュータサイエンスにおける基本的な概念です。

バートランド・ラッセルは、パラドックスを避けるためにタイプ理論を発展させました。

タイプ理論の理解は、高度なプログラミング言語設計にとって極めて重要です。