Axiomatic Domain Theory in Categories of Partial Maps by Marcelo P. Fiore (Engli
79,86 €
Furthermore, FPC is considered as a programming language with a call-by-value operational semantics and a denotational semantics defined on top of a categorical model. To make the book reasonably self-contained, the author includes an introduction to enriched category theory.
Jetzt bei Ebay:
