Main image
Click to view image in fullscreen
![]()
Axiomatic Domain Theory in Categories of Partial Maps
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.
450,00 DH
Sur commande
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.
| ISBN / EAN | 9780521602778 |
|---|---|
| Auteur | Fiore, Marcelo P. (University of Edinburgh) |
| Editeur | Cambridge University Press |