Categorical combinators, sequential algorithms, and functional programming
By: Pierre-Louis Curien.
Edition: 2nd ed.
Series: Progress in theoretical computer science
Publisher: Birkhäuser
Published: 1993
Place of publication: Boston
Language: eng
Number of pages: 403
Subjects: Formal languages.
Notes: Includes bibliographical references (p. 381-394) and indexes.