Pages that link to "Item:Q3598111"
From MaRDI portal
The following pages link to Homotopy theoretic models of identity types (Q3598111):
Displaying 26 items.
- Five stages of accepting constructive mathematics (Q5122448) (← links)
- Denotational semantics for guarded dependent type theory (Q5139284) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- Homotopical patch theory (Q5371976) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
- Database queries and constraints via lifting problems (Q5740402) (← links)
- Introduction – from type theory and homotopy theory to univalent foundations (Q5740647) (← links)
- Homotopy limits in type theory (Q5740649) (← links)
- A generalization of the Takeuti–Gandy interpretation (Q5740650) (← links)
- A notion of homotopy for the effective topos (Q5740653) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (Q5879185) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- Martin-Löf identity types in C-systems (Q6139425) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
- Steps toward a philosophy for mathematicians (Q6169824) (← links)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)
- Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)
- Poincaré on the value of reasoning machines (Q6554712) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- Kripke-Joyal forcing for type theory and uniform fibrations (Q6586829) (← links)
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories (Q6612003) (← links)
- Modal fracture of higher groups (Q6614927) (← links)
- Syllepsis in homotopy type theory (Q6649459) (← links)
- Zigzag normalisation for associative \(n\)-categories (Q6649467) (← links)
