• DML-CZ Home
• Higher Structures

Author: Shulman, Michael

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