Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
From MaRDI portal
Publication:2374309
DOI10.1016/j.jlamp.2015.12.004zbMath1375.18027MaRDI QIDQ2374309
Publication date: 15 December 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.12.004
18C20: Eilenberg-Moore and Kleisli constructions for monads