This book is devoted to the mathematical foundations of categorial grammar including type-theoretic foundations of mathematics, grammatical categories and other

In the last few years categorial grammars have been the focus of dramatically expanded interest and activity, both theoretical and computational. This book, the

This book is devoted to the mathematical foundations of categorial grammar including type-theoretic foundations of mathematics, grammatical categories and other

This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexical

This book provides a state-of-the-art introduction to categorial grammar, a type of formal grammar which analyses expressions as functions or according to a fun