Pages that link to "Item:Q3559973"

The following pages link to On universal algebra over nominal sets (Q3559973):

Displaying 9 items.

• Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
• Presenting functors on many-sorted varieties and applications (Q618170) (← links)
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
• Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
• Equational presentations of functors and monads (Q3005991) (← links)
• (Q5089005) (← links)
• (Q5092332) (← links)
• (Q5875342) (← links)
• (Q5875346) (← links)