About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us

Previous | Up | Next

Author: Rijke, Egbert

Buchholtz, Ulrik; Rijke, Egbert: The Cayley-Dickson Construction in Homotopy Type Theory. (English). Higher Structures, vol. 2 (2018), issue 1, pp. 30-41

Browse
- Collections
- Titles
- Authors
- MSC

Partner of