The following pages link to About \({|}/{|}\)-quantifiers (Q1410543):
Displaying 3 items.
- 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)
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)