scientific article; zbMATH DE number 7559272

DOI10.4230/LIPIcs.FSCD.2019.6MaRDI QIDQ5089005

Marco Maggesi, Benedikt Ahrens, Ambroise Lafont, Andre Hirschowitz

Publication date: 18 July 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

signaturessyntaxinitial semanticsfree monadsmonadic substitutioncomputer-checked proofspresentation of monads

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Explicit substitutions and higher-order syntax
• Modules over monads and initial semantics
• On the construction of free algebras for equational systems
• Modularity in term rewriting revisited
• Coequalizers and free triples
• Equational presentations of functors and monads
• Binding in Nominal Equational Logic
• On universal algebra over nominal sets
• Second-Order Equational Logic (Extended Abstract)
• Second-Order Algebraic Theories
• Modules over Monads and Linearity
• An Algebraic Presentation of Predicate Logic
• High-level signatures and initial semantics
• List Objects with Algebraic Structure
• Abstract Syntax: Substitution and Binders
• Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
• Modules over relative monads for syntax and semantics

This page was built for publication: