| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 438195 | Theoretical Computer Science | 2008 | 7 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
![Corrigendum to: “The category theoretic solution of recursive program schemes” [Theoret. Comput. Sci. 366 (2006) 3–59]](/preview/png/438195.png "First Page Preview: Corrigendum to: “The category theoretic solution of recursive program schemes” [Theoret. Comput. Sci. 366 (2006) 3–59]")