You have Guest access.
Log In
Alain Lecomte, François Lamarche and Guy Perrier
Front matter
1-27
Type Grammar Revisited
28-53
Optimal Parameters
54-69
Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars
70-91
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing
92-111
Derivational and Representational Views of Minimalist Transformational Grammar
112-131
The MSO Logic-Automaton Connection in Linguistics
132-159
The Logic of Tune A Proof-Theoretic Analysis of Intonation
160-179
A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies
180-199
Underspecification in Type-Logical Grammars
200-211
On Fibring Feature Logics with Concatenation Logics
212-230
An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms
231-250
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language
Back matter
J. Lambek
Denis Bouchard
Maciej Kandulski
Sebastian Shaumyan and Paul Hudak
Thomas Cornell
Frank Morawietz and Tom Cornell
Herman Hendriks
Joshua S. Hodas
Dirk Heylen
Nissim Francez
Manuel Vilares, Miguel A. Alonso and David Cabrero
Zhaohui Luo and Paul Callaghan
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info