Skip to main content

A Type−Driven Tensor−Based Semantics for CCG

Jean Maillard‚ Stephen Clark and Edward Grefenstette


This paper shows how the tensor-based semantic framework of Coecke et al. can be seamlessly integrated with Combinatory Categorial Grammar (CCG). The integration follows from the observation that tensors are linear maps, and hence can be manipulated using the combinators of CCG, including type-raising and composition. Given the existence of robust, wide-coverage CCG parsers, this opens up the possibility of a practical, type-driven compositional semantics based on distributional representations.

EACL 2014 Type Theory and Natural Language Semantics Workshop