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.
Type de document :
Communication dans un congrès
Annie Foret; Glyn Morrill; Reinhard Muskens; Rainer Osswald; Sylvain Pogodalla Formal Grammar 2016, Aug 2016, Bozen-Bolzano, Italy. Springer Berlin Heidelberg, 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings, 9804, pp.257--272, Lecture Notes in Computer Science,. 〈http://fg.phil.hhu.de/2016/〉. 〈10.1007/978-3-662-53042-9〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01332762
Contributeur : Jirka Maršík <>
Soumis le : jeudi 7 juillet 2016 - 16:30:13
Dernière modification le : jeudi 11 janvier 2018 - 06:23:32

Fichiers

fg2016.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Jirka Maršík, Maxime Amblard. Introducing a Calculus of Effects and Handlers for Natural Language Semantics. Annie Foret; Glyn Morrill; Reinhard Muskens; Rainer Osswald; Sylvain Pogodalla Formal Grammar 2016, Aug 2016, Bozen-Bolzano, Italy. Springer Berlin Heidelberg, 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings, 9804, pp.257--272, Lecture Notes in Computer Science,. 〈http://fg.phil.hhu.de/2016/〉. 〈10.1007/978-3-662-53042-9〉. 〈hal-01332762v2〉

Partager

Métriques

Consultations de la notice

312

Téléchargements de fichiers

110