ダウンロード

強計算性に基づいた単純型項書換え系の停止性証明法