The following pages link to Nominal equational logic (Q2864152):
Displaying 25 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 logic, a first order theory of names and binding (Q1887151) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- On a monadic semantics for freshness (Q2566026) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
- Nominal sets. Names and symmetry in computer science (Q2849600) (← 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)
- (Q3609632) (← links)
- Nominal (Universal) Algebra: Equational Logic with Names and Binding (Q3656778) (← 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)
