论文标题
单调和操作语义上的模块（扩展版本）
Modules over monads and operational semantics (expanded version)
论文作者
论文摘要
本文是搜索有效且高级数学工具的贡献，以指定和推理（摘要）编程语言或计算。概括了Ahrens等人的减少单调，我们引入了过渡单调，从而涵盖了诸如Lambda-Bar-Mu-Calculus，Pi-Calculus，Posit-Calculus，正GSOS规格，差异lambda-calculus，以及大的，大步骤，简单的，by-by-by-by-Value lambda-calcalcalcalcalcalculus。此外，我们为过渡单子设计了合适的签名概念。
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.
