with McAdams, D. , 2016, Dependent types for pragmatics, in J. Redmond, O. Martins & Ã. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, pp. 123-139.