Keyword:α-conversion

Publications
Efficiency of a good but not linear nominal unification algorithm Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman EasyChair Preprint 243