The following pages link to Michael A. Warren (Q385802):
Displaying 14 items.
- Martin-Löf complexes (Q385803) (← links)
- Combinatorial realizability models of type theory (Q385804) (← links)
- Coalgebras in a category of classes (Q876384) (← links)
- A characterization of representable intervals (Q2884479) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- The Local Universes Model (Q2957763) (← links)
- (Q2969774) (← links)
- (Q3093873) (← links)
- Voevodsky’s Univalence Axiom in Homotopy Type Theory (Q3193040) (← links)
- Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
- Homotopy theoretic models of identity types (Q3598111) (← links)
- (Q4680361) (← links)
- Bicategorical fibration structures and stacks (Q5248246) (← links)
- A univalent formalization of the <i>p</i>-adic numbers (Q5740654) (← links)