The following pages link to (Q5718564):
Displaying 13 items.
- The intrinsic topology of Martin-Löf universes (Q290640) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary (Q2011376) (← links)
- (Q4283245) (← links)
- Arithmetic universes and classifying toposes (Q4609242) (← links)
- (Q4611379) (← links)
- Models of type theory based on Moore paths (Q4611383) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5094128) (← links)
- (Q5094144) (← links)
- Models of Type Theory Based on Moore Paths (Q5111326) (← links)
- Simplicial sets inside cubical sets (Q5858940) (← links)
- What should a generic object be? (Q6174093) (← links)