Implementing Variable Vectors in a CCG Parser
Daisuke Bekki, Ai Kawazoe · Lecture notes in computer science · 2016
Abstract This article addresses problems that arise from the use of category variables $${\varvec{T}}$$ T in combinatory categorial grammars (CCGs), in particular, that they require extension of semantic languages with variable vectors in a form such as $$\lambda \overline{x}.M$$ λ x ¯ . M or $$M\overline{x}$$ M x ¯ . As a solution to such problems, we introduce a technique for implementing variable vectors within the context of lightblue, a Japanese CCG parser implemented within the Haskell programming language with a dependent type semantics (DTS) representation.