Modules over monads and operational semantics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Modules over monads and operational semantics


This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi. Generalising the reduction monads of Ahrens et al., we introduce transition monads, thus covering new applications such as ̅λμ-calculus, π-calculus, Positive GSOS specifications, differential λ-calculus, and the big-step, simply-typed, call-by-value λ-calculus. Finally, we design a suitable notion of signature for transition monads.
Fichier principal
Vignette du fichier
LIPIcs-FSCD-2020-12.pdf (697.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02338144 , version 1 (29-10-2019)
hal-02338144 , version 2 (03-03-2020)
hal-02338144 , version 3 (01-09-2020)



André Hirschowitz, Tom Hirschowitz, Ambroise Lafont. Modules over monads and operational semantics. 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 2020, Paris, France. pp.12:1--12:23, ⟨10.4230/LIPIcs.FSCD.2020.12⟩. ⟨hal-02338144v3⟩
262 View
334 Download



Gmail Facebook X LinkedIn More