R. Cooper and C. Retoré, “An outline of type-theoretical approaches to lexical semantics”, JLM, vol. 5, no. 2, pp. 165–178, Nov. 2017.