Modular specification of monads through higher-order presentations

DOI10.4230/LIPICS.FSCD.2019.6MaRDI QIDQ5089005zbMATH OpenFDO

Authors Benedikt Ahrens, Ambroise Lafont, Marco Maggesi, André Hirschowitz

Publication date 18 July 2022

Full work available at URL https://arxiv.org/abs/1903.00922

zbMATH Keywords

syntaxsignaturesinitial semanticsfree monadsmonadic substitutioncomputer-checked proofspresentation of monads

Mathematics Subject Classification ID

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

Recommendations

• Modules over relative monads for syntax and semantics
• Modules over monads and initial semantics
• Modules over monads and operational semantics (expanded version)
• Modules over Monads and Linearity
• scientific article; zbMATH DE number 7379288

Cites work

• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 1086712 (Why is no real title available?)
• Abstract syntax: substitution and binders
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• An algebraic presentation of predicate logic (extended abstract)
• Binding in nominal equational logic
• Coequalizers and free triples
• Equational presentations of functors and monads
• Explicit substitutions and higher-order syntax
• High-level signatures and initial semantics
• List Objects with Algebraic Structure
• Modularity in term rewriting revisited
• Modules over Monads and Linearity
• Modules over monads and initial semantics
• Modules over relative monads for syntax and semantics
• Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
• On the construction of free algebras for equational systems
• On universal algebra over nominal sets
• Second-Order Algebraic Theories
• Second-Order Equational Logic (Extended Abstract)

Cited in

(8)

• scientific article; zbMATH DE number 7449991 (Why is no real title available?)
• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• Levelwise modules over separable monads on stable derivators
• Monads for the formalization of a pattern matching procedure
• Modules over relative monads for syntax and semantics
• scientific article; zbMATH DE number 7577567 (Why is no real title available?)
• Modular specification of monads through higher-order presentations
• scientific article; zbMATH DE number 7379288 (Why is no real title available?)

This page was built for publication: Modular specification of monads through higher-order presentations

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