Corrigendum to: ``The category theoretic solution of recursive program schemes [Theoret. Comput. Sci. 366 (2006) 3-59]

DOI10.1016/j.tcs.2008.05.009zbMath1167.68353OpenAlexW2326592714MaRDI QIDQ944390

Lawrence S. Moss, Stefan Milius

Publication date: 16 September 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.05.009

zbMATH Keywords

Elgot algebracompletely iterative algebrainterpreted recursive program scheme

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• The category-theoretic solution of recursive program schemes
• Infinite trees and completely iterative theories: A coalgebraic view
• Elgot Algebras

This page was built for publication: Corrigendum to: ``The category theoretic solution of recursive program schemes [Theoret. Comput. Sci. 366 (2006) 3-59]