計算上の識別不可能性と論理関係について

本論文では、確率的多項式時間で評価可能なプログラムを表現できるλ計算を導入し、近似論理関係を用いて計算上の識別不可能性を証明する健全な証明手法を提示しています。