佐藤, 雅彦, 京都大学1994-1995<Y151-H06452387>
国立国会図書館
- 件名構成的プログラミング 構成的論理 証明システム 関数型プログラム言語 代入文 遅延評価
岡田, 光弘, 慶応義塾大学1995-1997<Y151-H07808035>
国立国会図書館
- 件名線形論理 相意味論 並行計算 正規化定理 カツト消去定理 関数型プログラム言語 論理プログラム言語 論理的計算モデル
佐藤, 雅彦, 東北大学1987-1989<Y151-S62460220>
国立国会図書館
- 件名構成的数学 関数型プログラム言語 直観主義論理 証明 プログラムの検証 プログラムの合成
佐藤, 雅彦, 東北大学1985-1986<Y151-S60580018>
国立国会図書館
- 件名構成的数学 プログラムの形式的意味 データ型 プログラムの検証 関数型プログラム言語 論理型プログラム言語