Pages that link to "Item:Q2054123"

The following pages link to Expressing `the structure of' in homotopy type theory (Q2054123):

Displaying 2 items.

• The hole argument, take \(n\) (Q1985882) (← links)
• Modal Homotopy Type Theory (Q5213483) (← links)