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

Previous | Up | Next

Author: Christensen, J. Daniel

Christensen, J. Daniel; Flaten, Jarl G. Taxerås: Ext groups in Homotopy Type Theory. (English). Higher Structures, vol. 9 (2025), issue 2, pp. 17-61

Browse
- Collections
- Titles
- Authors
- MSC

Partner of