Monadic Maps and Folds for Multirelations in an Allegory
From MaRDI portal
Publication:3585025
DOI10.1007/978-3-642-14521-6_7zbMath1286.68087MaRDI QIDQ3585025
Publication date: 31 August 2010
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14521-6_7
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
18C20: Eilenberg-Moore and Kleisli constructions for monads
Related Items
The algebra of multirelations, Kleisli, Parikh and Peleg compositions and liftings for multirelations, Towards patterns for heaps and imperative lambdas