\input zb-basic
\input zb-ioport
\iteman{io-port 00234028}
\itemau{Curien, Pierre-Louis}
\itemti{Categorical combinators, sequential algorithms, and functional programming. 2nd ed.}
\itemso{Progress in Theoretical Computer Science. Basel: Birkh\"auser. XX, 403 p. (1993).}
\itemab
This is a completely revised version of the book published by {\it B. Pitman} Publishing Ltd. (1986; Zbl 0643.68002). The author presents an approach to the semantics of sequential programming languages based on the relationship between $\lambda$-calculus and category theory, with applications to the design and implementation of programming languages. In the second edition many new results due to various authors (including the author of the book) are added, mostly in the form of exercises. Many new references are included. Among other things, the following new topics are reported: the confluence properties of rewriting systems of categorical combinators, calculi of explicit substitutions, connections of sequential algorithms with linear logic and games, a theory of sequential structures. The additions make the book more comprehensive and up-to-date.
\itemrv{A.Wiweger (Warszawa)}
\itemcc{}
\itemut{$\lambda$-calculus; combinatory logic; categorical abstract machine}
\itemli{}
\end