摘要:We take the opportunity of the publication of some of the papers of the ESSLLI workshop TYTLES (TYpe Theory and LExical Semantics,ESSLLI 2015,Barcelona) to provide an overview of the possi_bilities that type theory offers to model lexical semantics,especially the type-theoretical frameworks that properly model compositional semantics.