Title	Resource-Sensitivity, Binding and Anaphora [electronic resource] / edited by Geert-Jan M. Kruijff, Richard T. Oehrle
Imprint	Dordrecht : Springer Netherlands : Imprint: Springer, 2003
Connect to	http://dx.doi.org/10.1007/978-94-010-0037-6
Descript	XXII, 297 p. online resource

Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. There are affinities in this perspective, of course, to basic questions in formal language theory. But the fact that categorial grammars are type inยญ ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a conยญ nection less apparent in the standard constructions of formal language theory. Fixing a system of grammatical type inference T, we may explore what gramยญ matical phenomena are compatible with T-and equally, what grammatical phenomena are not. Equally, fixing a class of grammatical phenomena g, we may seek to ascertain what systems of type inference characterize g. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek

I Resources, Structures, and Composition -- 1 Categorial Grammar at a Cross-Roads -- 2 Language, Lambdas, and Logic -- II Resources, Binding, and Anaphora -- 3 Binding without pronouns (and pronouns without binding) -- 4 Resource Sharing in Type Logical Grammar -- 5 Binding Across Boundaries -- 6 On Bound Anaphora in Type Logical Grammar -- 7 Structural Communication in Binding -- 8 Binding on the Fly: Cross-Sentential Anaphora in Variable-Free Semantics -- III Appendices -- 9 Resource-Sensitity-A Brief Guide -- 10 Some Precursors

1. Linguistics
2. Logic
3. Artificial intelligence
4. Computational linguistics
5. Linguistics
6. Computational Linguistics
7. Logic
8. Artificial Intelligence (incl. Robotics)