Axiomatic Domain Theory in Categories of Partial Maps

Name: Axiomatic Domain Theory in Categories of Partial Maps
Author: Marcelo P. (University of Edinburgh) Fiore

Marcelo P. (University of Edinburgh) Fiore

Cambridge University Press

Knihu koupíte v 1 e-shopu

Bookshop.cz

1 344 Kč

Není skladem

Do obchodu

Krátký popis

Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (abstract) setting. It includes an introduction to enriched category theory.

Výběr knih vydavatele Cambridge University Press