The following pages link to Implementing Nominal Unification (Q2867897):
Displayed 6 items.
- A polynomial nominal unification algorithm (Q944382) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols (Q1744440) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols (Q2424886) (← links)
- Nominal Matching and Alpha-Equivalence (Q3511452) (← links)
- Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)