一覧に戻る

タイトル
  • en a review of Towards a constructive simplicial model of univalent foundations by Gambino Nicola; Henry Simon
作成者
    • en NISHIMURA Hirokazu
アクセス権 open access
出版者 en FIZ Karlsruhe the Heidelberg Academy of Science and Humanities and the European Mathematical Society
日付
    Issued2024
言語
  • eng
資源タイプ review article
資源識別子 HDL http://hdl.handle.net/2241/0002009235 , URI https://tsukuba.repo.nii.ac.jp/records/2009235
関連
  • URI https://zbmath.org/7731384 en Zbl 07731384
収録誌情報
  • en zbMATH Open
ファイル
コンテンツ更新日時 2025-05-08