書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- Eijiro Sumii [著]
- 著者標目
- 住井, 英二郎 スミイ, エイジロウ
- 出版事項
- 出版年月日等
- [2004]
- 出版年(W3CDTF)
- 2004
- 数量
- 1冊
- 並列タイトル等
- ラムダ計算における情報隠蔽の理論 : 暗号化と型抽象のための論理関係と双模倣 ラムダ ケイサン ニ オケル ジョウホウ インペイ ノ リロン : アンゴウカ ト カタ チュウショウ ノ タメノ ロンリ カンケイ ト ソウモホウ
- 授与機関名
- 東京大学