"...makes important theoretical progress in the formalism of natural language processing. The accent is on the relations between the syntax and the semantics of natural language. Also, the commonalities of natural language and artificial intelligence are stressed....readers will find the state of the art in the theory of natural language processing and some important new contributions." Claudiu Popescu, Computing Reviews

• 1. Unification; 2. Representations and interpretations; 3. Syntactic categories and semantic type; 4. Fine-structure in categorical semantics; 5. Properties, propositions and semantic theory; 6. Algorithms for semantic interpretation; 7. Situation schemata and linguistic representation; 8. Application-oriented computational semantics; 9. Form and content in semantics; Epilogue: on the relation between computational linguistics and formal semantics; Bibliography.

"...makes important theoretical progress in the formalism of natural language processing. The accent is on the relations between the syntax and the semantics of natural language. Also, the commonalities of natural language and artificial intelligence are stressed....readers will find the state of the art in the theory of natural language processing and some important new contributions." Claudiu Popescu, Computing Reviews

• 1. Unification; 2. Representations and interpretations; 3. Syntactic categories and semantic type; 4. Fine-structure in categorical semantics; 5. Properties, propositions and semantic theory; 6. Algorithms for semantic interpretation; 7. Situation schemata and linguistic representation; 8. Application-oriented computational semantics; 9. Form and content in semantics; Epilogue: on the relation between computational linguistics and formal semantics; Bibliography.

"...makes important theoretical progress in the formalism of natural language processing. The accent is on the relations between the syntax and the semantics of natural language. Also, the commonalities of natural language and artificial intelligence are stressed....readers will find the state of the art in the theory of natural language processing and some important new contributions." Claudiu Popescu, Computing Reviews

• 1. Unification; 2. Representations and interpretations; 3. Syntactic categories and semantic type; 4. Fine-structure in categorical semantics; 5. Properties, propositions and semantic theory; 6. Algorithms for semantic interpretation; 7. Situation schemata and linguistic representation; 8. Application-oriented computational semantics; 9. Form and content in semantics; Epilogue: on the relation between computational linguistics and formal semantics; Bibliography.