Pages that link to "Item:Q5415637"
From MaRDI portal
The following pages link to Term Equational Systems and Logics (Q5415637):
Displayed 6 items.
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- On universal algebra over nominal sets (Q3559973) (← links)
- Presentations and algebraic colimits of enriched monads for a subcategory of arities (Q5872361) (← links)
- Diagrammatic presentations of enriched monads and varieties for a subcategory of arities (Q6077388) (← links)