scientific article; zbMATH DE number 7559272
From MaRDI portal
Publication:5089005
DOI10.4230/LIPICS.FSCD.2019.6MaRDI QIDQ5089005FDOQ5089005
Marco Maggesi, André Hirschowitz, Benedikt Ahrens, Ambroise Lafont
Publication date: 18 July 2022
Full work available at URL: https://arxiv.org/abs/1903.00922
Title of this publication is not available (Why is that?)
syntaxsignaturesinitial semanticsfree monadsmonadic substitutioncomputer-checked proofspresentation of monads
Cites Work
- Coequalizers and free triples
- Binding in Nominal Equational Logic
- Title not available (Why is that?)
- An Algebraic Presentation of Predicate Logic
- 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:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089005)
