Categorical Combinators, Sequential Algorithms, and Functional Programming
Pierre-Louis Curien · Birkhäuser Boston eBooks · 1993
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 i