Categorical combinators, sequential algorithms, and functional programming
By: P.-L. Curien.
Series: Research notes in theoretical computer science
Publisher: Pitman; Wiley
Published: 1986
Place of publication: London; New York
Language: eng
Number of pages: 300
Subjects: Formal languages.
Notes: Bibliography: p. 285-292.
Outgrowth of author's "Thèse de Doctorat d'Etat."
Includes indexes.