Pages that link to "Item:Q5164726"
From MaRDI portal
The following pages link to Homotopy Type Theory: The Logic of Space (Q5164726):
Displaying 5 items.
- The space of strong types and an open map theorem (Q4358831) (← links)
- Modal Homotopy Type Theory (Q5213483) (← links)
- Diegetic Representation of Feedback in Open Games (Q6150152) (← links)
- Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)