Abstract

In this paper, we study a functional programming approach to natural languagesemantics, allowing us to increase the expressiveness of a more traditionaldenotation style. We will formalize a category based type and effect system torepresent the semantic difference between syntactically equivalent expressions.We then construct a diagrammatic calculus to model parsing and handling ofeffects, providing a method to efficiently compute the denotations forsentences.

 

Quick Read (beta)