岡田光弘, 慶応義塾大学1997-1999<Y151-H09480058>
国立国会図書館
- 件名線形論理 相意味論 証明の正規化定理 (強) 停止性 計算モデル 高階論理 並行計算 カツト消去...
岡田, 光弘, 慶応義塾大学1995-1997<Y151-H07808035>
国立国会図書館
- 件名線形論理 相意味論 並行計算 正規化定理 カツト消去定理 関数型プログラム言語 論理プログラム言語 ...
岡田, 光弘, 慶応義塾大学1993-1994<Y151-H05808030>
国立国会図書館
- 件名マルチ・パラダイム・プログラム言語 タイプ理論 項書き換え論理 証明論 代数的仕様言語 証明の正規化定理 π一計算 計算モデル