Pages that link to "Item:Q3623222"
From MaRDI portal
The following pages link to Nominal Algebra and the HSP Theorem (Q3623222):
Displayed 9 items.
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- On solving nominal disunification constraints (Q2219072) (← links)
- Term-generic logic (Q2339466) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free (Q2915895) (← links)
- Equational presentations of functors and monads (Q3005991) (← links)
- On universal algebra over nominal sets (Q3559973) (← links)
- (Q5875342) (← links)