Kategorische Kombinatoren, sequentielle Algorithmen und funktionale Programmierung, H...
Categorical Combinators, Sequential Algorithms, and Functional Programming, Hardcover by Curien, Pierre-Louis, ISBN 0817636544, ISBN-13 9780817636548, Brand New, Free shipping in the US A revised edition of the author's classic monograph (Pitman, 1986) that presents an approach to the design and implementation of sequential programming languages based on the relationship between lambda-calculus and category theory. For researchers in the syntax and semantics of programming languages, rewriting systems, and applications of categorical algebra. Annotation copyright Book News, Inc. Portland, Or.
Jetzt bei Ebay: