Categorical combinators, sequential algorithms and functional programming
Curien, P.-L.(Pierre-Louis)
London Pitman
1986
Bibliography: p285-292. - Includes index
Programming languages (Electronic computers)
Electronic digital computers