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/非表示 |
|---|