学位論文要旨
No
108405
著者（漢字）
佐藤,周行
著者（英字）
著者（カナ）
サトウ,ヒロユキ
標題（和）
単相型/複相型ラムダ計算上のデータ型の代数について
標題（洋）
ALGEBRA of DATATYPES in MONO/POLY-MORPHIC λ-CALCULI
報告番号
108405
報告番号
甲08405
学位授与日
1990.03.29
学位種別
課程博士
学位種類
理学博士
学位記番号
博理第2194号
研究科
理学系研究科
専攻
情報科学専攻
論文審査委員
─：
内容要旨
データはありません
審査要旨
データはありません
UTokyo Repositoryリンク