Description
Book SynopsisBL First book to apply type theory to natural language Per Martin Lof first presented constructive type theory in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This book is the first to take an in-depth look at the theory from the point of view of linguistics and the philosophy of language.
Trade Review'The formalism introduced by the author allows better understanding of the role of semantics in grammars of natural languages and supplies mechnisms for various levels of linguistic description.' T.Balanescu, Zenrrallblatt fur Mathematik und ihre Grenzgebiete No. 855, 1997
Table of Contents1. Preliminary remarks ; 2. Gradual introduction to type theory ; 3. Logical operators in English ; 4. Anaphoric expressions ; 5. Temporal reference ; 6. Text and discourse ; 7. Context and possible worlds ; 8. Higher-level type theory ; 9. Sugaring and parsing ; Appendix ; Sugaring in ALF ; Bibliography ; Index
