Pages that link to "Item:Q2453579"
From MaRDI portal
The following pages link to Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579):
Displayed 2 items.
The following pages link to Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579):
Displayed 2 items.