TY - RPRT TI - The Category Theoretic Solution of Recursive Program Schemes AU - Stefan Milius AU - Lawrence S. Moss PY - 2009 UR - https://arxiv.org/abs/0904.2385 ID - 0904.2385 ER -