WEKO3
アイテム / Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory / k13249_thesis
k13249_thesis
ファイル | ライセンス |
---|---|
k13249_thesis.pdf (602.0 kB) sha256 e6ae5bdfcf91f6b52bcbf8c862ea2c46b1bbeb25ffc6c2c4bc79f664d35ee8d2 |
公開日 | 2020-07-29 | |||||
---|---|---|---|---|---|---|
ファイル名 | k13249_thesis.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/29985/files/k13249_thesis.pdf | |||||
ラベル | k13249_thesis | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 602.0 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|