TY  - RPRT
TI  - Hashing Modulo Alpha-Equivalence
AU  - Krzysztof Maziarz
AU  - Tom Ellis
AU  - Alan Lawrence
AU  - Andrew Fitzgibbon
AU  - Simon Peyton Jones
PY  - 2021
UR  - https://arxiv.org/abs/2105.02856
ID  - 2105.02856
ER  -