Pages that link to "Item:Q4635794"

The following pages link to A Cubical Approach to Synthetic Homotopy Theory (Q4635794):

Displaying 4 items.

• Meaning explanations at higher dimension (Q1688954) (← links)
• From reversible programs to univalent universes and back (Q2130579) (← links)
• The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (Q2319987) (← links)
• Observability in the univalent universe (Q2675950) (← links)