ラムダ計算における置換ラムダ計算における置換明示的な置換を使った置換補題の検討。計算機科学における論理ラムダ計算における置換の形式化ラムダ計算における明示的置換を使った置換補題に関する研究。2025-09-22T12:25:42+00:00 ― 1 分で読む