A type theoretical framework for natural language semantics: the Montagovian generative lexicon | Read Paper on Bytez