Modules over monads and operational semantics

DOI10.4230/LIPICS.FSCD.2020.12MaRDI QIDQ6854423zbMATH OpenFDO

Authors André Hirschowitz, Tom Hirschowitz, Ambroise Lafont

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2020.12

zbMATH Keywords

category theoryoperational semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 7559272 (Why is no real title available?)
• A Cellular Howe Theorem
• A categorical semantics for inductive-inductive definitions
• A left adjoint construction related to free triples
• Bisimulation can't be traced
• Call-by-value Solvability
• Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
• Combinatorial structure of type dependency
• GSOS for probabilistic transition systems (extended abstract)
• Modules over Monads and Linearity
• Modules over relative monads for syntax and semantics
• Monads need not be endofunctors
• On the construction of free algebras for equational systems
• Second-Order Equational Logic (Extended Abstract)
• The -calculus: A theory of mobile processes
• The differential lambda-calculus

This page was built for publication: Modules over monads and operational semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6854423)