Higher-Order Coloured Unification: a Linguistic Application

Author: Claire Gardent and Michael Kohlhase and Karsten Konrad

Editor: