The category-theoretic solution of recursive program schemes

Stefan Milius, Lawrence S. Moss. The category-theoretic solution of recursive program schemes. Theoretical Computer Science, 366(1-2):3-59, 2006. [doi]

Abstract

Abstract is missing.