Enviar aquest missatge de text: Categorical combinators, sequential algorithms, and functional programming / P.-L. Curien.