
Jonathan Sterling
Dependent types for pragmatics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
Dependent types for pragmatics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer