Type-Logical Syntax
A novel logic-based framework for representing the syntax-semantics interface of natural language, applicable to a range of phenomena.