The following pages link to (Q4611379):
Displaying 14 items.
- (Q4611383) (← links)
- Model structure on the universe of all types in interval type theory (Q5022925) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- (Q5028425) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- On Church’s thesis in cubical assemblies (Q5055494) (← links)
- (Q5091148) (← links)
- (Q5155672) (← links)
- MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (Q5879185) (← links)
- (Q6060677) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- Two-level type theory and applications (Q6149950) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)
