P. L. Curien

• Category theory and computer science
• Categorical Combinators, Sequential Algorithms, and Functional Programming