Introduction to homotopy type theory
著者
書誌事項
Introduction to homotopy type theory
（Cambridge studies in advanced mathematics, 219）
Cambridge University Press, 2026
- : hardback
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)
Includes bibliographical references (pages 353-355) and index
