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

Previous | Up | Next

Author: Riehl, Emily

Riehl, Emily; Shulman, Michael: A type theory for synthetic $\infty$-categories. (English). Higher Structures, vol. 1 (2017), issue 1, pp. 147-224

Browse
- Collections
- Titles
- Authors
- MSC

Partner of