Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, or (...) various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. (shrink)

Karen Spärck Jones produced over 200 publications, including nine books, in her long research career. She received many awards and honours, including the Association for Computing Machinery Salton Award in 1988; the American Society for Information Science and Technology Award of Merit in 2002; and the joint Association for Computing Machinery and Association for the Advancement of Artificial Intelligence Allen Newell Award in 2007. Karen also worked hard to try to improve the position of women in computing and to attract (...) more women to the discipline. She was a founder member of the ‘women@cl’ network based at the Computer Laboratory and was always unstinting with her time when women students and researchers asked her advice. (shrink)