Hashing Modulo Context-Sensitive $\alpha$-Equivalence

Lasse Blaauwbroek, Miroslav Olšák, Herman Geuvers

The notion of $\alpha$-equivalence between $\lambda$-terms is commonly used to identify terms that are considered equal. However, due to the primitive treatment of free variables, this notion…