Modules over Monads and Operational Semantics

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont. Modules over Monads and Operational Semantics. In Zena M. Ariola, editor, 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference). Volume 167 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Abstract

Abstract is missing.