Corecursive algebras: a study of general structured corecursion

DOI10.1007/978-3-642-10452-7_7MaRDI QIDQ3651278zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Recommendations

• From corecursive algebras to corecursive monads
• Corecursive algebras, corecursive monads and Bloom monads
• Recursive coalgebras from comonads
• Structured general corecursion and coinductive graphs (extended abstract)
• Recursive coalgebras from comonads

Cited in

(22)

• On functors preserving coproducts and algebras with iterativity
• Long-term values in Markov decision processes, (co)algebraically
• Steps and traces
• Corecursion up-to via causal transformations
• Corecursive algebras in nature
• Functional programming with apomorphisms (corecursion)
• A coalgebraic view of bar recursion and bar induction
• Corecursive algebras, corecursive monads and Bloom monads
• Generalizing inference systems by coaxioms
• From corecursive algebras to corecursive monads
• scientific article; zbMATH DE number 5994844 (Why is no real title available?)
• On the Foundations of Corecursion
• Bisimulations generated from corecursive equations
• Coalgebraic representation theory of fractals
• scientific article; zbMATH DE number 1330451 (Why is no real title available?)
• On corecursive algebras for functors preserving coproducts
• A ghost at _1
• Well-founded coalgebras, revisited
• Optimal coin flipping
• Implicit complexity for coinductive data: a characterization of corecurrence
• Structured general corecursion and coinductive graphs (extended abstract)
• Relative fixed points of functors

This page was built for publication: Corecursive algebras: a study of general structured corecursion

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