1. Asher, N., Luo, Z.: Formalisation of coercions in lexical semantics. Sinn und Bedeutung 17, Paris (2012)
2. Bassac, C., Mery, B., Retoré, C.: Towards a type-theoretical account of lexical semantics. J. Log. Lang. Inf. 19(2), 229–245 (2010)
3. Boldini, P.: Formalizing contexts in intuitionistic type theory. Fundamenta Informaticae 4(2), 1–23 (2000)
4. Lecture Notes in Computer Science;S Chatzikyriakidis,2014
5. Lecture Notes in Computer Science;S Chatzikyriakidis,2013