Modular specification of monads through higher-order presentations

DOI10.4230/LIPICS.FSCD.2019.6MaRDI QIDQ5089005FDOQ5089005

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

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

zbMATH Keywords

syntaxsignaturesinitial semanticsfree monadsmonadic substitutioncomputer-checked proofspresentation of monads

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Title not available (Why is that?)
• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• Monads for the formalization of a pattern matching procedure
• Levelwise modules over separable monads on stable derivators
• Modules over relative monads for syntax and semantics
• Title not available (Why is that?)
• Title not available (Why is that?)

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)