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