The following pages link to α-Equivalence (Q4397232):
Displaying 6 items.
- Alpha equivalence equalities (Q428860) (← links)
- Even Kakutani equivalence via \(\overarrow\alpha\) and \(\overarrow\beta\) equivalence in \(\mathbb Z^ 2\). (Q700614) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols (Q1744440) (← links)
- Even Kakutani equivalence via \(\alpha\)- and \(\beta\)-equivalences (Q1910004) (← links)
- On some results deduced from the equality \(R[1/\alpha] =R[1/(\alpha -a)]\) (Q2709724) (← links)
- (Q5541084) (← links)