Recursive program schemes and context-free monads

DOI10.1016/J.ENTCS.2010.07.011MaRDI QIDQ2919447zbMATH OpenOpenAlexFDO

Authors Jiří Adámek, Stefan Milius, Jiří Velebil

Publication date 2 October 2012

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.07.011

zbMATH Keywords

algebraic treesideal theorymonadsrecursive program schemes

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On second-order iterative monads
• On rational monads and free iterative theories
• The category-theoretic solution of recursive program schemes
• Algebra and Coalgebra in Computer Science
• Infinite trees and completely iterative theories: A coalgebraic view

Cites work

• A coalgebraic view of infinite trees and iteration
• A fixpoint theorem for complete categories
• Algebraic semantics
• Algebras, coalgebras, monads and comonads
• Coequalizers and free triples
• Completely iterative algebras and completely iterative monads
• Coproducts of Ideal Monads
• Dualising initial algebras
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Infinite trees and completely iterative theories: A coalgebraic view
• Iterative algebras at work
• Iterative reflections of monads
• Monads of coalgebras: rational terms and term graphs
• On the monadicity of finitary monads
• Parametric corecursion
• Regular trees and the free iterative theory
• Solving Algebraic Equations Using Coalgebra
• Some remarks on finitary and iterative monads
• The category-theoretic solution of recursive program schemes

Cited in

(8)

• Monads for the formalization of a pattern matching procedure
• scientific article; zbMATH DE number 5598380 (Why is no real title available?)
• scientific article; zbMATH DE number 3984549 (Why is no real title available?)
• scientific article; zbMATH DE number 4097355 (Why is no real title available?)
• scientific article; zbMATH DE number 7362475 (Why is no real title available?)
• scientific article; zbMATH DE number 7533352 (Why is no real title available?)
• On second-order iterative monads
• The category-theoretic solution of recursive program schemes

This page was built for publication: Recursive program schemes and context-free monads

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