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]

Authors

Stefan Milius

This author has not been identified. Look up 'Stefan Milius' in Google

Lawrence S. Moss

This author has not been identified. Look up 'Lawrence S. Moss' in Google