André Hirschowitz ; Tom Hirschowitz ; Ambroise Lafont - Modules over monads and operational semantics (expanded version)

lmcs:6970 - Logical Methods in Computer Science, August 2, 2022, Volume 18, Issue 3 - https://doi.org/10.46298/lmcs-18(3:3)2022
Modules over monads and operational semantics (expanded version)Article

Authors: André Hirschowitz ; Tom Hirschowitz ORCID; Ambroise Lafont

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 lambda-bar-mu-calculus, pi-calculus, Positive GSOS specifications, differential lambda-calculus, and the big-step, simply-typed, call-by-value lambda-calculus.
Moreover, we design a suitable notion of signature for transition monads.

https://doi.org/10.46298/lmcs-18(3:3)2022
Source: arXiv.org:2012.06530
Volume: Volume 18, Issue 3
Secondary volumes: Selected Papers of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
Published on: August 2, 2022
Accepted on: April 5, 2022
Submitted on: December 14, 2020
Keywords: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Mathematics - Category Theory, 68N15, D.3.1, F.3.2
Licence: Attribution 4.0 International (CC BY 4.0)

2 Documents citing this article

Share and export

Consultation statistics

This page has been seen 2462 times.
This article's PDF has been downloaded 1020 times.