The following pages link to Equivariant unification (Q616849):
Displaying 11 items.
- Nominal abstraction (Q617715) (← links)
- Nominal unification with atom-variables (Q1640638) (← links)
- On solving nominal disunification constraints (Q2219072) (← links)
- Nominal Confluence Tool (Q2817917) (← links)
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming (Q2875221) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Fixed-Point Constraints for Nominal Equational Unification (Q4993333) (← links)
- (Q4993360) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- Rewriting with generalized nominal unification (Q5139280) (← links)
- (Q5216313) (← links)
