Pages that link to "Item:Q3121017"
From MaRDI portal
The following pages link to A type theory for synthetic $\infty$-categories (Q3121017):
Displayed 19 items.
- Filter quotients and non-presentable \((\infty,1)\)-toposes (Q2040521) (← links)
- Cubical Agda: A dependently typed programming language with univalence and higher inductive types (Q5016211) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- (Q5028425) (← links)
- Canonicity and homotopy canonicity for cubical type theory (Q5028486) (← links)
- (Q5094128) (← links)
- On the topological characterization of gestures in a convenient category of spaces (Q5152276) (← links)
- Indexed type theories (Q5156767) (← links)
- (Q5216301) (← links)
- (Q6068934) (← links)
- Higher Structures in Homotopy Type Theory (Q6075425) (← links)
- (Q6079232) (← links)
- A formal logic for formal category theory (Q6091184) (← links)
- Two-level type theory and applications (Q6149950) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
- Yoneda lemma for simplicial spaces (Q6175166) (← links)
- (Q6194263) (← links)
- (Q6198047) (← links)
- (Q6198048) (← links)