Leverhulme Project

Lexical Semantics in Type Theory with Coercive Subtyping

Zhaohui Luo
Dept of Computer Science
Royal Holloway, Univ of London

Funded by the Leverhulme Trust (Grant Ref: F/07-537/AJ; 147K)

Summary of the Project Proposal


Relevant publications and documents

  • S. Chatzikyriakidis and Z. Luo. Formal Semantics in Modern Type Theories. ISTE/Wiley Science Publishing Ltd. (to appear)
  • Z. Luo. Modern Type Theories for Natural Language Semantics. Introductory course at ESSLLI 2017, Toulouse, France. July 2017.
  • Z. Luo and S. Soloviev. Dependent event types. Proc of the 24th Workshop on Logic, Language, Information and Computation (WoLLIC'17), LNCS 10388. London, 2017. (An abstract of the paper has appeared in Proc of LACL 2016.)
  • S. Chatzikyriakidis and Z. Luo. Adjectival and Adverbial Modification: The View from Modern Type Theories. Journal of Logic, Language and Information 26(1), 2017.
  • Z. Luo and S. Soloviev. Dependent event types (abstract), Logical Aspects of Computational Linguistics 2016 (LACL 2016). 2016. (Longer version of the paper is available here.)
  • S. Chatzikyriakidis and Z. Luo. Proof Assistants for Natural Language Semantics. Logical Aspects of Computational Linguistics 2016 (LACL 2016), Nancy. 2016.
  • S. Chatzikyriakidis and Z. Luo (eds.). Modern Perspectives in Type Theoretical Semantics. Studies in Linguistics and Philosophy, Springer. 2017.
  • Z. Luo. A Lambek Calculus with Dependent Types. TYPES 2015. Tallinn, May 2015.
  • S. Chatzikyriakidis and Z. Luo. Using Signatures in Type Theory to Represent Situations. T. Murata, K. Mineshima and D. Bekki (eds). New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops in Japan (LENLS, JURISIN and GABA), Revised Selected Papers. LNCS 9067, 2015.
  • S. Chatzikyriakidis and Z. Luo. Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories. Proc of the 14th Inter. Conf. on Mathematics of Language, Chicago, 2015.
  • S. Chatzikyriakidis and Z. Luo. Natural Language Inference in Coq. Journal of Logic, Language and Information, 23(4). 2014.
  • Z. Luo. Formal Semantics in Modern Type Theories: Is It Model-theoretic, Proof-theoretic, or Both? Invited talk at Logical Aspects of Computational Linguistics 2014 (LACL 2014), Toulouse. LNCS 8535. 2014. [Slides available]
  • S. Chatzikyriakidis. Adverbs in a Modern Type Theory. LACL 2014, LNCS 8535. 2014.
  • G. Lungu and Z. Luo. Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. LACL 2014, LNCS 8535. 2014.
  • S. Chatzikyriakidis and Z. Luo. Formal Semantics in Modern Type Theories: Theory and Implementation. Advanced course at ESSLLI 2014, Tubingen, Germany. August 2014. [Lecture slides available]
  • S. Chatzikyriakidis and Z. Luo. Natural Language Reasoning Using Proof-assistant Technology: Rich Typing and Beyond. EACL Workshop on Type Theory and Natural Language Semantics (TTNLS), Goteborg, 2014.
  • S. Chatzikyriakidis and Z. Luo. Adjectives in a Modern Type-Theoretical Setting. The 18th Conf. on Formal Grammar, Dusseldorf. LNCS 8036. 2013.
  • Z. Luo. Formal Semantics in Modern Type Theories with Coercive Subtyping. Linguistics and Philosophy, 35(6). 2012.
  • N. Asher and Z. Luo. Formalisation of coercions in lexical semantics. Sinn und Bedeutung 17, Paris. 2012. [abstract also available]
  • S. Chatzikyriakidis and Z. Luo. An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. Constraint Solving and Language Processing 2012, LNCS 8114. 2013.
  • Z. Luo. Common nouns as types. LACL'12, LNCS 7351. 2012.
  • T. Xue and Z. Luo. Dot-types and their implementation. LACL'12, LNCS 7351. 2012.
  • Z. Luo. Notes and slides at ESSLLI 2011, Ljubljana, Slovenia (for a course on Lexical Semantics, taught together with Prof Nicholas Asher)
  • Z. Luo. Contextual analysis of word meanings in type-theoretical semantics. Logical Aspects of Computational Linguistics (LACL'2011). LNAI 6736, 2011.
  • Z. Luo. Type-theoretical semantics with coercive subtyping. Semantics and Linguistic Theory 20 (SALT20), Vancouver. 2010.
  • Z. Luo and P. Callaghan. Coercive subtyping and lexical semantics (extended abstract). Logical Aspects of Computational Linguistics (LACL'98). 1998.