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-05-14 | |||||
---|---|---|---|---|---|---|
ファイル名 | 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/Hide |
---|