Modules over monads and operational semantics (expanded version)

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...

Full description

Bibliographic Details

Published in:	Logical Methods in Computer Science
Main Authors:	André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2022-08-01
Subjects:	computer science - programming languages computer science - logic in computer science mathematics - category theory 68n15 d.3.1 f.3.2
Online Access:	https://lmcs.episciences.org/6970/pdf