2019-12-15から1日間の記事一覧

交差型を持つ単純型付きλ計算の型付け可能性について

これは型 Advent Calendar 2019 15日目の記事です．交差型についてのよく知られた事実——交差型を持つ単純型付きλ計算において，強正規化する項は型付け可能であることを解説します．