Keyword:Binding operations

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