高橋正子

計算論計算可能性とラムダ計算

計算論計算可能性とラムダ計算

数学的用語、記法など1 計算可能な関数2 λ計算の基礎3 λ計算のモデル付録(主要命題一覧証明の補足問のヒント)