Pages that link to "Item:Q5145618"
From MaRDI portal
The following pages link to A Higher Structure Identity Principle (Q5145618):
Displaying 5 items.
- Bicategories in univalent foundations (Q5055496) (← links)
- Two-level type theory and applications (Q6149950) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- On planarity of graphs in homotopy type theory (Q6620019) (← links)
