カテゴリー: Type Theory

Type Theory（型理論）の来歴は、論理学・数学のパラドックスの回避から始まり、計算理論・プログラミング・現代幾何学へと展開します。 🧱 1. 起源：パラドックスの回避（20世紀初頭） ▫️ ラッセルの型理論（19…
Read more