EAN | 9780817636548 |
Last Scan | Apr 24 2024 at 11:05 PM |
Description |
Categorical Combinators, Sequential Algorithms, and Functional Programming This monograph is the second edition of a concrete approach to the semantics of sequential programming languages, which is a fundamental topic in theoretical computer science. It presents examples of fruitful interactions among computer science, category theory and mathematical logic.
|
Barcode |
Categorical Combinators, Sequential Algorithms, and Functional Programming P.-L. Curien Author
|
Tefal pp1101 Classic Glass Light Blue - Personenwaage
|
Nike Free Run, Men's Training Running Shoes, Grau
|
15,2 cm 29 "H echeverien Pick grün (24 Stück)
|
The Backwoods
|
Künstliche double-stem Phalaenopsis-Orchidee in Vase
|
Nike Men's Free Trainer 5.0 V6 Cool Grey/Mtllc
|