About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
DML-CZ Home
55 Algebraic topology
55Pxx Homotopy theory (
1 articles
)
55P45 $ (1 articles)
Buchholtz, Ulrik; Rijke, Egbert
:
The Cayley-Dickson Construction in Homotopy Type Theory
.
(English).
Higher Structures
,
vol. 2 (2018), issue 1
,
pp. 30-41
Search
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of
