型理論 - 生きてたら何歳？

1

直観主義型理論

2

Nullable型

2

値 (計算機科学)

4

値_(情報工学)

4

型推論

4

数学的構造

7

型付きラムダ計算