Pages that link to "Item:Q3559973"
From MaRDI portal
The following pages link to On universal algebra over nominal sets (Q3559973):
Displaying 3 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)
