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