The following pages link to Nominal Equational Logic (Q2864152):
Displaying 19 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)
- A dependent type theory with abstractable names (Q530845) (← links)
- Matching and alpha-equivalence check for nominal terms (Q980937) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171) (← links)
- The First-Order Nominal Link (Q3003496) (← links)
- Equational presentations of functors and monads (Q3005991) (← links)
- Binding in Nominal Equational Logic (Q3178258) (← links)
- Nominal Matching and Alpha-Equivalence (Q3511452) (← links)
- On universal algebra over nominal sets (Q3559973) (← links)
- (Q4972733) (← links)
- The nominal/FM Yoneda Lemma (Q4988443) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- Term Equational Systems and Logics (Q5415637) (← links)
- Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)
