Pages that link to "Item:Q5055494"

The following pages link to On Church’s thesis in cubical assemblies (Q5055494):

Displaying 3 items.

• Univalent polymorphism (Q1987219) (← links)
• Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
• Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)