Introducing a Calculus of Effects and Handlers for Natural Language Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Introducing a Calculus of Effects and Handlers for Natural Language Semantics

Jirka Maršík
Maxime Amblard

Résumé

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.
Fichier principal
Vignette du fichier
fg2016.pdf (326.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01332762 , version 1 (16-06-2016)
hal-01332762 , version 2 (07-07-2016)

Licence

Paternité

Identifiants

Citer

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⟩
312 Consultations
245 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More