学位論文要旨
No
107597
著者（漢字）
唐,培雄
著者（英字）
著者（カナ）
トウ,バイユウ
標題（和）
直観主義的な型の理論-その表現力と計算可能性について
標題（洋）
報告番号
107597
報告番号
甲07597
学位授与日
1988.03.29
学位種別
課程博士
学位種類
理学博士
学位記番号
博理第1978号
研究科
理学系研究科
専攻
情報科学専攻
論文審査委員
─：
内容要旨
データはありません
審査要旨
データはありません
UTokyo Repositoryリンク