Pages that link to "Item:Q385804"
From MaRDI portal
The following pages link to Combinatorial realizability models of type theory (Q385804):
Displaying 5 items.
- Martin-Löf complexes (Q385803) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
- The least subtopos containing the discrete skeleton of \(\Omega\) (Q6593823) (← links)
