Pages that link to "Item:Q1306715"
From MaRDI portal
The following pages link to Extensional \(\Sigma\)-spaces in type theory (Q1306715):
Displayed 1 item.
The following pages link to Extensional \(\Sigma\)-spaces in type theory (Q1306715):
Displayed 1 item.