03B38
- : Ext groups in Homotopy Type Theory. (English). Higher Structures, vol. 9 (2025), issue 2, pp. 17-61
- : $\infty$-type theories. (English). Higher Structures, vol. 9 (2025), issue 1, pp. 179-226
- : Synthetic fibered $(\infty,1)$-category theory. (English). Higher Structures, vol. 7 (2023), issue 1, pp. 74-165
Search
Partner of
