Linguistic semantics

• Z. Luo. Type-Theoretical Lexical Semantics. ESSLLI 2011, Ljubljana, Slovenia. [Notes and slides 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. [pdf file available.]


• Z. Luo. Type-Theoretical Semantics with Coercive Subtyping. Semantics and Linguistic Theory, Vol. 20 (SALT20), Vancouver. 2010. [abstract and full paper]


• Z. Luo and P. Callaghan. Mathematical vernacular and conceptual well-formedness in mathematical language. Proceedings of the 2nd Inter. Conf. on Logical Aspects of Computational Linguistics (LACL'97), Nancy. LNCS/LNAI 1582. 1999. [ps file available.]


• Z. Luo and P. Callaghan. Coercive subtyping and lexical semantics (extended abstract). Logical Aspects of Computational Linguistics (LACL'98), Grenoble, 1998. [ps file available.]


• P. Callaghan and Z. Luo. Mathematical vernacular in type theory based proof assistants. User Interfaces for Theorem Provers (UITP'98), Eindhoven, 1998.


• Z. Luo and P. Callaghan. Linguistic categories in mathematical vernacular and their type-theoretic semantics (extended abstract). Logical Aspects of Computational Linguistics 97 (LACL'97), 1997.


• S. Shiu, Z. Luo, and R. Garigliano. Type-theoretic semantics for SemNet. Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085, 1996.