Linked e-resources

Details

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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export