WEKO3
アイテム
a review of Canonicity and homotopy canonicity for cubical type theory by Coquand, Thierry; Huber, Simon; Sattler, Christian
http://hdl.handle.net/2241/0002003754
http://hdl.handle.net/2241/000200375401b31b90-8a63-406a-921a-c2ff00b8d485
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | Article(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2022-05-25 | |||||||||||
タイトル | ||||||||||||
言語 | en | |||||||||||
タイトル | a review of Canonicity and homotopy canonicity for cubical type theory by Coquand, Thierry; Huber, Simon; Sattler, Christian | |||||||||||
言語 | ||||||||||||
言語 | eng | |||||||||||
資源タイプ | ||||||||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
タイプ | article | |||||||||||
アクセス権 | ||||||||||||
アクセス権 | open access | |||||||||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||||
著者 |
西村, 泰一
× 西村, 泰一
WEKO
123
|
|||||||||||
書誌情報 |
en : zbMATH Open 発行日 2022 |
|||||||||||
権利 | ||||||||||||
言語 | en | |||||||||||
権利情報 | © 2022 FIZ Karlsruhe GmbH | |||||||||||
出版者 | ||||||||||||
言語 | en | |||||||||||
出版者 | FIZ Karlsruhe, the European Mathematical Society and the Heidelberg Academy of Sciences and Humanities | |||||||||||
関連情報 | ||||||||||||
識別子タイプ | URI | |||||||||||
関連識別子 | https://zbmath.org/07471717 | |||||||||||
言語 | en | |||||||||||
関連名称 | Zbl 07471717 |