平面λ計算の正規化の複雑性について

平面λ計算の正規化の複雑性は、線形λ計算の正規化の複雑性と同様にP完全であると考えられている。しかし、これを証明するのは難しく、以前の試みには問題があった。本論文では、新しい符号化を用いて、トポロジカル順序付けされた回路値問題をλ計算の正規化問題に帰着させる新しい試みを提案する。