Higher-Order Unification for the λαν calculus. - Ben Kavanagh; James Cheney (UNIF, 2011)