Product Description: Grammatical Framework is a programming language designed for writing grammars, which has the capability of addressing several languages in parallel. This thorough introduction demonstrates how to write grammars in Grammatical Framework and use them in applications such as tourist phrasebooks, spoken dialogue systems, and natural language interfaces...read more

Product Description: This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 107 submissions...read more

Product Description: Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists...read more

Product Description: Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers...read more