Dependent types for pragmatics

2016

Darryl McAdams, Jonathan Sterling

in: Epistemology, knowledge and the impact of interaction, Berlin,