Modules over Monads and Linearity

DOI10.1007/978-3-540-73445-1_16MaRDI QIDQ3612664zbMATH OpenOpenAlexFDO

Authors Marco Maggesi, André Hirschowitz

Publication date 10 March 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18)

Abstract: Inspired by the classical theory of modules over a monoid, we give a first account of the natural notion of module over a monad. The associated notion of morphism of left modules ("Linear" natural transformations) captures an important property of compatibility with substitution, in the heterogeneous case where "terms" and variables therein could be of different types as well as in the homogeneous case. In this paper, we present basic constructions of modules and we show examples concerning in particular abstract syntax and lambda-calculus.

Recommendations

• Modules over monads and initial semantics
• Modules over monads and their algebras
• scientific article; zbMATH DE number 1086712
• Left linear theories -- a generalization of module theory
• Modules over relative monads for syntax and semantics

Cited in

(18)

• Left linear theories -- a generalization of module theory
• Levelwise modules over separable monads on stable derivators
• Nested abstract syntax in Coq
• From signatures to monads in \textsf{UniMath}
• C-system of a module over a \(Jf\)-relative monad
• Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
• Heterogeneous substitution systems revisited
• scientific article; zbMATH DE number 7379288 (Why is no real title available?)
• High-level signatures and initial semantics
• Modular specification of monads through higher-order presentations
• Modules over monads and operational semantics (expanded version)
• List Objects with Algebraic Structure
• Modules over monads and their algebras
• Modules over relative monads for syntax and semantics
• Variable binding and substitution for (nameless) dummies
• Variable binding and substitution for (nameless) dummies
• Modules over monads and operational semantics
• Modules over monads and initial semantics

This page was built for publication: Modules over Monads and Linearity

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