Introducing a Calculus of Effects and Handlers for Natural Language Semantics

DOI10.1007/978-3-662-53042-9_15zbMath1478.03060arXiv1606.06125OpenAlexW2964076606MaRDI QIDQ2835059

Maxime Amblard, Jirka Maršík

Publication date: 1 December 2016

Published in: Formal Grammar (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.06125

zbMATH Keywords

compositionalitymonadshandlersside effectsconventional implicaturedeixis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic of natural languages (03B65) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Algebraic effects for extensible dynamic semantics ⋮ A computational treatment of anaphora and its algorithmic implementation

Uses Software

• Eff

Cites Work

• Programming with algebraic effects and handlers
• Logic and semantics for imperatives
• Notions of computation and monads
• Making computational sense of Montague's intensional logic
• Combinatory reduction systems: Introduction and survey
• A calculus for first order discourse representation structures
• Event in Compositional Dynamic Semantics
• Handlers of Algebraic Effects
• Computational Semantics with Functional Programming
• Programming and reasoning with algebraic effects and dependent types
• Handlers in action

This page was built for publication: Introducing a Calculus of Effects and Handlers for Natural Language Semantics