Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)