Linked e-resources
Details
Table of Contents
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.
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.