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.

This book focuses mainly on logical approaches to computational linguistics, but also discusses integrations with other approaches, presenting both classic and newly emerging theories and applications.Decades of research on theoretical work and practical applications have demonstrated that computational linguistics is a distinctively interdisciplinary area. There is convincing evidence that computational approaches to linguistics can benefit from research on the nature of human language, including from the perspective of its evolution. This book addresses various topics in computational theories of human language, covering grammar, syntax, and semantics. The common thread running through the research presented is the role of computer science, mathematical logic and other subjects of mathematics in computational linguistics and natural language processing (NLP). Promoting intelligent approaches to artificial intelligence (AI) and NLP, the book is intended for researchers and graduate students in the field.