1. Asher, N. (2012). Lexical meaning in context: A web of words. Cambridge: Cambridge University Press.
2. Asher, N. & Luo, Z. (2012). Formalisation of coercions in lexical semantics. Sinn und Bedeutung 17, Paris, 223
3. Bartsch, R., & Vennemann, T. (1973). Semantic structures: A study in the relation between syntax and semantics. Frankfurt: Athaeenum Verlag.
4. Boldini, P. (2000). Formalizing contexts in intuitionistic type theory. Fundamenta Informaticae, 4(2)
5. Boldini, P. (2001). The reference of mass terms from a type-theoretical point of view. In Proceedings of the 4th International Workshop on Computational Semantics. Tilburg, Netherlands.