• DML-CZ Home
• Higher Structures

Author: Rijke, Egbert

• Christensen, J. Daniel; Opie, Morgan; Rijke, Egbert; Scoccola, Luis: Localization in Homotopy Type Theory. (English). Higher Structures, vol. 4 (2020), issue 1, pp. 1-32
• Buchholtz, Ulrik; Rijke, Egbert: The Cayley-Dickson Construction in Homotopy Type Theory. (English). Higher Structures, vol. 2 (2018), issue 1, pp. 30-41