Pages that link to "Item:Q2453579"
From MaRDI portal
The following pages link to Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579):
Displaying 5 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Nominal sets. Names and symmetry in computer science (Q2849600) (← links)
- Nominal Lawvere Theories (Q3003347) (← links)
- Binding in Nominal Equational Logic (Q3178258) (← links)
- The nominal/FM Yoneda Lemma (Q4988443) (← links)