Formal Semantics in Modern Type Theories
- Submitting institution
-
Royal Holloway and Bedford New College
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 28980030
- Type
- A - Authored book
- DOI
-
-
- Publisher
- ISTE Ltd
- ISBN
- 9781786301284
- Open access status
- -
- Month of publication
- December
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This book is the first comprehensive description of Formal Semantics in Modern Type Theories (MTT-semantics), whose systematic study was initiated by Luo a decade ago. It reports upon the most novel and significant developments in MTT-semantics in recent years and shows convincingly that MTT-semantics offers an attractive and more advantageous alternative framework than Montague Semantics, which has been dominant in the field of natural language semantics. The work has partially led to Luo being in the management committee of EU research network EUTYPES (CA15123, 2016-2020) in which 29 countries participated.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -