The following pages link to Guillaume Brunerie (Q2319986):
Displaying 6 items.
- The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (Q2319987) (← links)
- π n (S n ) in Homotopy Type Theory (Q2938036) (← links)
- Partitions creuses (Q3089974) (← links)
- A Cubical Approach to Synthetic Homotopy Theory (Q4635794) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- (Q6124941) (← links)
