The Category Theoretic Solution of Recursive Program Schemes.

Stefan Milius, Lawrence S. Moss

Browse the full CALCO paper archive.