Pages that link to "Item:Q5145279"
From MaRDI portal
The following pages link to Impredicative Encodings of (Higher) Inductive Types (Q5145279):
Displayed 5 items.
The following pages link to Impredicative Encodings of (Higher) Inductive Types (Q5145279):
Displayed 5 items.