Pages that link to "Item:Q3178258"
From MaRDI portal
The following pages link to Binding in Nominal Equational Logic (Q3178258):
Displayed 5 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- Alpha equivalence equalities (Q428860) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- (Q5089005) (← links)