Modules over Monads and Linearity
From MaRDI portal
Publication:3612664
DOI10.1007/978-3-540-73445-1_16zbMath1213.18003arXivcs/0608051OpenAlexW1847641094MaRDI QIDQ3612664
Marco Maggesi, Andre 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
Functional programming and lambda calculus (68N18) Categorical semantics of formal languages (18C50) Combinatory logic and lambda calculus (03B40) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (13)
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs ⋮ Variable binding and substitution for (nameless) dummies ⋮ Variable binding and substitution for (nameless) dummies ⋮ C-system of a module over a \(Jf\)-relative monad ⋮ Nested abstract syntax in Coq ⋮ Unnamed Item ⋮ Modules over relative monads for syntax and semantics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ High-level signatures and initial semantics ⋮ From signatures to monads in \textsf{UniMath} ⋮ Heterogeneous Substitution Systems Revisited ⋮ List Objects with Algebraic Structure
This page was built for publication: Modules over Monads and Linearity
