2025/04/01 by Dylan Bumford, Bumford, Dylan, Simon Charlow +1 · 1 citation
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Natural Language Processing Techniques
paper · pdf · doi:10.48550/arxiv.2504.00316
openalex publication_date 2025/04/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Computer programs are often factored into pure components -- simple, total functions from inputs to outputs -- and components that may have side effects -- errors, changes to memory, parallel threads, abortion of the current loop, etc. We make the case that human languages are similarly organized around the give and pull of pure values and impure processes, and we'll aim to show how denotational techniques from computer science can be leveraged to support elegant and illuminating analyses of natural language composition.