Description

---

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.