The following pages link to Washington de Carvalho-Segundo (Q1671155):
Displaying 6 items.
- Nominal C-unification (Q1671156) (← links)
- On solving nominal fixpoint equations (Q1687556) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols (Q1744440) (← links)
- A formalisation of nominal C-matching through unification with protected variables (Q2333665) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols (Q2424886) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
