WEKO3
アイテム / Abstracting Control with Dependent Types[学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨] / k_309_yoshi_jp
k_309_yoshi_jp
ファイル | ライセンス |
---|---|
k_309_yoshi_jp.pdf (96.9 kB) sha256 1a16a2a12cacd5eeb687cf0f447ea36e2969bd98597be935b48f6a6a19fb17d8 |
公開日 | 2019-05-21 | |||||
---|---|---|---|---|---|---|
ファイル名 | k_309_yoshi_jp.pdf | |||||
本文URL | https://teapot.lib.ocha.ac.jp/record/42590/files/k_309_yoshi_jp.pdf | |||||
ラベル | 日本語要旨 | |||||
オブジェクトタイプ | summary | |||||
フォーマット | application/pdf | |||||
サイズ | 96.9 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|