effect algebras

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries

Cet article présente une sémantique algébrique pour l'exécution gouvernée, construite sur des arbres d'interaction et la coinduction paramétrée, avec une implémentation mécanisée en Rocq. Le cadre introduit une GovernanceAlgebra qui induit une catégorie monoïdale symétrique et un système d'effets algébriques assurant des gestionnaires préservant la gouvernance.