Cooper, R.; Retoré, C. An Outline of Type-Theoretical Approaches to Lexical Semantics. JLM 2017, 5, 165–178.