Author: Christensen, J. Daniel
- : Ext groups in Homotopy Type Theory. (English). Higher Structures, vol. 9 (2025), issue 2, pp. 17-61
- : Localization in Homotopy Type Theory. (English). Higher Structures, vol. 4 (2020), issue 1, pp. 1-32
Search
Partner of
