mlsanityData to 14 Oct 2026

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics

arXiv 2507.00782 ↗First posted 1 Jul 2025cs.CL cs.PLcited by 0

Not on the map. Why?

Abstract (arXiv)

In this paper, we study a functional programming approach to natural language semantics, allowing us to increase the expressiveness of a more traditional denotation style. We will formalize a category based type and effect system to represent the semantic difference between syntactically equivalent expressions. We then construct a diagrammatic calculus to model parsing and handling of effects, providing a method to efficiently compute the denotations for sentences.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 6 of its 11 references that are in the map. First posted on arXiv 1 Jul 2025.

Builds on

6 of 11 references.

References · 6

  1. 2023Mathematical Structure of Syntactic Mergecited by 17
  2. 2023The categorical contours of the Chomsky-Sch"utzenberger representation theoremcited by 4
  3. 2018Normalization for planar string diagrams and a quadratic equivalence algorithmcited by 2
  4. 2023Higher-Order DisCoCat (Peirce-Lambek-Montague semantics)cited by 2
  5. 2025The Algebraic Structure of Morphosyntaxcited by 2
  6. 2025Effect-driven interpretation: Functors for natural language compositioncited by 1

Built on by

Not cited yet.