An outline of type-theoretical approaches to lexical semantics

We take the opportunity of the publication of some of the papers of the ESSLLI workshop  TYTLES (TYpes Theory and LExical Semantics, ESSLLI 2015, Barcelona) to provide an overview of the possibilities that type theory offer to model lexical semantics, especially the type theoretical frameworks that properly model compositional semantics.

[1]  Geoffrey Nunberg,et al.  Transfers of Meaning , 1995, J. Semant..

[2]  Livy Real,et al.  Deverbal Semantics and the Montagovian Generative Lexicon ΛTyn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Lambda , 2014, Journal of Logic, Language and Information.

[3]  David Sell.  Word Meaning , 1976, Philosophy.

[4]  Aarne Ranta.  Type-Theoretical Grammar , 1995 .

[5]  Christian Retoré,et al.  Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics , 2017 .

[6]  Koji Mineshima,et al.  An Analysis of Selectional Restrictions with Dependent Type Semantics , 2016, JSAI-isAI Workshops.

[7]  Vincent Claveau,et al.  Learning Semantic Lexicons from a Part-of-Speech and Semantically Tagged Corpus Using Inductive Logic Programming , 2003, J. Mach. Learn. Res..

[8]  James Pustejovsky,et al.  The Generative Lexicon , 1995, CL.

[9]  G. Nunberg.  The non-uniqueness of semantic solutions: Polysemy , 1979 .

[10]  Stergios Chatzikyriakidis,et al.  On the Interpretation of Common Nouns: Types Versus Predicates , 2017 .

[11]  Nicholas Asher,et al.  Lexical Meaning in Context - A Web of Words , 2011 .

[12]  C. Retoré.  The Montagovian Generative Lexicon Λ T y n : a Type Theoretical Framework for Natural Language Semantics , 2014 .

[13]  Staffan Larsson,et al.  Probabilistic Type Theory and Natural Language Semantics , 2015, LILT.

[14]  G. Sundholm.  Proof Theory and Meaning , 1986 .