学位論文要旨
No
211144
著者（漢字）
龍田,真
著者（英字）
著者（カナ）
タツタ,マコト
標題（和）
構成的プログラミングのための帰納的定義の実現可能性
標題（洋）
Realizability of Inductive Definitions for Constructive Programming.
報告番号
211144
報告番号
乙11144
学位授与日
1993.03.15
学位種別
論文博士
学位種類
博士(理学)
学位記番号
第11144号
研究科
専攻
論文審査委員
─：
内容要旨
データはありません
審査要旨
データはありません
UTokyo Repositoryリンク