Formal semantics in modern type theories. (2018)

• Record Type: Book
• Further Information: Note: Stergios Chatzikyriakidis, Zhaohui Luo.
• Authors: Chatzikyriakidis, Stergios; Luo, Zhaohui
• Contents: Chapter 1. Type Theoretical Semantics: Introduction; Chapter 2. Modern Type Theories; Chapter 3. MTT-semantics: Basics; Chapter 4. Adjectival and Adverbial Modification in MTT-semantics; Chapter 5. Copredication and Dot-types; Chapter 6. Reasoning about NL in Coq; Chapter 7. Advanced Topics and Conclusion
• Edition: 1st
• Publisher Details: London : Wiley-ISTE
• Publication Date: 2018
• Extent: 1 online resource
• Subjects: 401.43015118; Semantics -- Mathematical models; Type theory; Natural language processing (Computer science); Mathematical linguistics
• Languages: English
• ISBNs: 9781119489214
• Related ISBNs: 9781119489221
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.