The following pages link to Ulrik Buchholtz (Q1687769):
Displaying 12 items.
- Homotopy type theory in Lean (Q1687770) (← links)
- Syntactic forcing models for coherent logic (Q1788327) (← links)
- Construction of the circle in \textit{UniMath} (Q2031555) (← links)
- (Q3121020) (← links)
- (Q5114825) (← links)
- The real projective spaces in homotopy type theory (Q5144693) (← links)
- Higher Groups in Homotopy Type Theory (Q5145293) (← links)
- Cellular Cohomology in Homotopy Type Theory (Q5145328) (← links)
- Theories of Proof-Theoretic Strength Ψ (Γ<sub>Ω</sub> +1) (Q5221836) (← links)
- Varieties of Cubical Sets (Q5283204) (← links)
- The long exact sequence of homotopy <i>n</i>-groups (Q6149949) (← links)
- Primitive Recursive Dependent Type Theory (Q6528678) (← links)
