On categorical models of the lambda calculus ダムダ計算のカテゴリー論的モデルについて
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
On categorical models of the lambda calculus
- タイトル別名
-
ダムダ計算のカテゴリー論的モデルについて
- 著者名
-
横内, 寛文
- 著者別名
-
ヨコウチ, ヒロフミ
- 学位授与大学
-
東京工業大学
- 取得学位
-
理学博士
- 学位授与番号
-
甲第1777号
- 学位授与年月日
-
1986-10-31
注記・抄録
博士論文
目次
- 目次 (4コマ目)