The following pages link to (Q5091148):
Displaying 7 items.
- Univalent polymorphism (Q1987219) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- On Church’s thesis in cubical assemblies (Q5055494) (← links)
- (Q5094128) (← links)
- Is Impredicativity Implicitly Implicit (Q6079240) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- Normalization for multimodal type theory (Q6649430) (← links)