Skip to Main content Skip to Navigation
Conference papers

Introducing a Calculus of Effects and Handlers for Natural Language Semantics

Jirka Maršík 1 Maxime Amblard 1
1 SEMAGRAMME - Semantic Analysis of Natural Language
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the same pattern: they are instances of a monad. In this paper, we present an extension of the simply-typed lambda calculus that exploits this uniformity using the recently discovered technique of effect handlers. We prove that our calculus exhibits some of the key formal properties of the lambda calculus and we use it to construct a modular semantics for a small fragment that involves multiple distinct semantic phenomena.
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Jirka Maršík Connect in order to contact the contributor
Submitted on : Thursday, July 7, 2016 - 4:30:13 PM
Last modification on : Wednesday, November 3, 2021 - 7:08:53 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License




Jirka Maršík, Maxime Amblard. Introducing a Calculus of Effects and Handlers for Natural Language Semantics. Formal Grammar 2016, Aug 2016, Bozen-Bolzano, Italy. pp.257--272, ⟨10.1007/978-3-662-53042-9_15⟩. ⟨hal-01332762v2⟩



Les métriques sont temporairement indisponibles