Fingerprint
Dive into the research topics of 'Connecting constructive notions of ordinals in homotopy type theory'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Connecting constructive notions of ordinals in homotopy type theory
Fredrik Nordvall Forsberg, Chuangjie Xu, Nicolai Kraus
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
1
Citation
(Scopus)
10
Downloads
(Pure)