Axiomatic Domain Theory in Categories of Partial MapsAuthor :
Paperback
Published : Thursday 25 March 2004
Description
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.
You may also like ...
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780751585919.jpg)
by
Paperback
30 May 2024
LGBTQ+ Studies / topics
€12.86
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9781398701052.jpg)
by
Paperback
14 Sep 2023
Modern and contemporary fiction: general and literary
€10.52
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780751585926.jpg)
by
Paperback
15 Aug 2023
LGBTQ+ Studies / topics
€17.54
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780751585940.jpg)
by
Hardback
15 Aug 2023
LGBTQ+ Studies / topics
€23.40
Extended stock – Dispatch 5-7 days
Reviews