Focus and Higher-Order Unification.

Claire Gardent, Michael Kohlhase

Browse the full COLING paper archive.