Axiomatische Domänentheorie in Kategorien von Teilkarten von Marcelo P. Fiore (Englisch
81,13 €
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:
