文章基本信息

标题：Modules over Monads and Operational Semantics
本地全文：下载
作者：Andr Hirschowitz ; Tom Hirschowitz ; Ambroise Lafont 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：167
页码：12:1-12:23
DOI：10.4230/LIPIcs.FSCD.2020.12
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Operational semantics; Category theory