Modules over monads and initial semantics
type: Item
instance of: scholarly article
title: Modules over monads and initial semantics
zbMATH Open document ID: 1200.68152
author: Marco Maggesi
author: André Hirschowitz
published in: Information and Computation
publication date: 2010-04-22T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5697033
zbMATH Keywords: morphism of left modules
describes a project that uses: HOL Light
describes a project that uses: Coq
describes a project that uses: PoplMark
describes a project that uses: HOL2P
MaRDI profile type: Publication
full work available at URL: j.ic.2009.07.003
OpenAlex ID: W2066606716
cites work: Q4945244
cites work: Theorem Proving in Higher Order Logics
cites work: Q4813222
cites work: de Bruijn notation as a nested datatype
cites work: Pre-torsors and Galois comodules over mixed distributive laws
cites work: Q4435464
cites work: Bar constructions for topological operads and the {G}oodwillie derivatives of the identity
cites work: Q4656986
cites work: Explicit substitutions and higher-order syntax
cites work: Q4414308
cites work: From left modules to algebras over an operad: application to combinatorial Hopf algebras
cites work: Q4215784
cites work: A compactification of the real configuration space as an operadic completion
cites work: Substitution in non-wellfounded syntax with variable binding
cites work: Notions of computation and monads
cites work: HOMOTOPY THEORY OF COALGEBRAS
cites work: The formal theory of monads
cites work: Pseudo-distributive laws and axiomatics for variable binding
cites work: HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism
DOI: 10.1016/J.IC.2009.07.003
description: scientific article; zbMATH DE number 5697033