Categorical Combinators, Sequential Algorithms, and Functional Programming by P.-L. Curien.
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integr...
Full description
Saved in: