Categorical Combinators, Sequential Algorithms and Functional Programming (Research notes in theoretical computer science)