This document is unfortunately not available for download at the moment.
Juan Redmond , Olga Pombo Martins , Ángel Nepomuceno Fernández (2016) Epistemology, knowledge and the impact of interaction, Dordrecht, Springer.
Dependent types for pragmatics
Darryl McAdams , Jonathan Sterling
pp. 123-139
Not implemented yet !