Skip to Main content Skip to Navigation
Conference papers

Modules over monads and operational semantics

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02338144
Contributor : Tom Hirschowitz <>
Submitted on : Tuesday, September 1, 2020 - 1:56:04 PM
Last modification on : Tuesday, January 5, 2021 - 4:26:24 PM

File

LIPIcs-FSCD-2020-12.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

88

Files downloads

145