论文信息 - Corrigendum to: "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59]

Corrigendum to: "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59]

This is a corrigendum for our paper [S. Milius, L.S. Moss, The category theoretic solution of recursive program schemes, Theoret. Comput. Sci. 366 (2006) 3-59]. The main results are correct, but we offer some changes to the definitions and proofs concerning interpreted recursive program schemes.

Stefan Milius | Lawrence S. Moss

[1] Jirí Adámek,et al. On Algebras with Iteration , 2008, J. Log. Comput..

[2] Stefan Milius,et al. The category-theoretic solution of recursive program schemes , 2006, Theor. Comput. Sci..

[3] Peter Aczel,et al. Infinite trees and completely iterative theories: a coalgebraic view , 2003, Theor. Comput. Sci..

[4] Jirí Adámek,et al. Elgot Algebras: (Extended Abstract) , 2006, MFPS.