第 8 回
演習(続き)

• プリント

• 前回定義した 項 term と 型 T における type preservation と type progress の証明
• type safety (type soundness) = preservation + progress