Corecursive Algebras: A Study of General Structured Corecursion

DOI10.1007/978-3-642-10452-7_7zbMath1266.68083OpenAlexW1878466686WikidataQ62043263 ScholiaQ62043263MaRDI QIDQ3651278

Venanzio Capretta, Tarmo Uustalu, Varmo Vene

Publication date: 9 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-10452-7_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (11)

Coalgebraic Representation Theory of Fractals ⋮ Well-founded coalgebras, revisited ⋮ Generalizing Inference Systems by Coaxioms ⋮ On functors preserving coproducts and algebras with iterativity ⋮ Optimal Coin Flipping ⋮ Long-term values in Markov decision processes, (co)algebraically ⋮ Steps and traces ⋮ Unnamed Item ⋮ A Coalgebraic View of Bar Recursion and Bar Induction ⋮ Corecursion up-to via causal transformations ⋮ Corecursive algebras in nature

This page was built for publication: Corecursive Algebras: A Study of General Structured Corecursion