Lambda Systems

• 型なし
  • 型なし計算（NatBool）
  • λ: 型なしラムダ計算 (COMING SOON)
• 型あり
  • Unrestricted
    • λ_→: 単純型付きラムダ計算 (NatBool) (COMING SOON: System F_ωで代替してください)
    • System F_n: n階命題型システム (NatBool) (COMING SOON: 同上)
    • System F_ω: 高階命題型システム (NatBool)
    • λ_CC: Calculus of Construction（CC）
  • Substructural
    • Linear Types (TODO)
    • Affine Types (TODO)
    • Ordered Types (TODO)
• Pure Type System (TODO)