Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) (Paperback)

Proof Irrelevance in Type-Theoretical Semantics.- Saving Hamlet Ellipsis.- Temporal Representations with and without Points.- From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars.- Measuring Linguistic Complexity: Introducing a New Categorial Metric.- On Categorial Grammatical Inference and Logical Information Systems.- A Scope-Taking System with Dependent Types and Continuations.- On the Coevolution of Language and Cognition ? Gricean Intentions Meet Lewisian Conventions.