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 (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. (to appear)
  • 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.