NLCS'15. Third Workshop on Natural Language and Computer Science6 articles•72 pages•Published: July 7, 2015 Papers
KeyphrasesAbstract Categorial Grammars, ACG, categorial, coherence spaces, compositional semantics, computational linguistics, conservativity, cut elimination, exponentials, Higher-Order Linear Intuitionistic Logic, Lambda, lambda calculus, lexical semantics, linear logic2, logical relation, monads, Montague semantics, pregroup, proof, staging, sublinear logic, syntax-semantic interface, typing |
