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

Previous | Up | Next

Author: Scoccola, Luis

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

Browse
- Collections
- Titles
- Authors
- MSC

Partner of