Lexical Semantics in Type Theory with Coercive Subtyping
Dept of Computer Science
Royal Holloway, Univ of London
Funded by the Leverhulme Trust (Grant
Ref: F/07-537/AJ; 147K)
Relevant publications and documents
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 of
Linguistics and Philosophy, Springer. 2016. (to appear)
Z. Luo. A Lambek Calculus with Dependent Types. TYPES 2015. Tallinn, May
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
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,
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).