Some uses of higher-order logic in computational linguistics

Abstract
No abstract available