The following pages link to Martin-Löf complexes (Q385803):
Displaying 5 items.
- Combinatorial realizability models of type theory (Q385804) (← links)
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- Loxodromic elements for the relative free factor complex (Q1622891) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- Notions of anonymous existence in Martin-Löf type theory (Q2980980) (← links)