|
|
Sold Out
Book Categories |
| Preface | ||
| 1 | Introduction | 1 |
| 2 | Categorical Preliminaries | 17 |
| 3 | Partiality | 34 |
| 4 | Order-Enriched Categories of Partial Maps | 52 |
| 5 | Data Types | 77 |
| 6 | Recursive Types | 106 |
| 7 | Recursive Types in Cpo-Categories | 133 |
| 8 | FPC | 147 |
| 9 | Computational Soundness and Adequacy | 170 |
| 10 | Summary and Further Research | 191 |
| App. A. Lemma 8.4.4 | 202 | |
| App. B. Theorem 8.6.6 | 205 | |
| App. C. Lemma 9.1.3 | 212 | |
| App. D. Propositions D.0.1 and D.0.2 | 222 | |
| Bibliography | 226 | |
| Index | 233 | |
| Symbol Index | 238 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
CANDY GLENN
reviewed Axiomatic Domain Theory in Categories of Partial Maps on March 07, 2020
Axiomatic Domain Theory in Categories of Partial Maps
In comparison to "Introduction to Algorithms" (the other algorithm book I had significant exposure to) this one is faster to read, easier to digest and more tailored towards applications.
I found the "Hitchhiker's Guide to Algorithms" in the back to be extremely useful if you really find yourself tackling an algorithmic problem in practice.
The main part (maybe skipping/skimming down a few chapters) is a very good preparation for algorithm-heavy job interviews (e.g. Google, Facebook etc ...).
Very much recommended.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Axiomatic Domain Theory in Categories of Partial Maps
X
This Item is in Your Inventory
Axiomatic Domain Theory in Categories of Partial Maps
X
You must be logged in to review the productsX
X
X
Add 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 l, Axiomatic Domain Theory in Categories of Partial Maps to the inventory that you are selling on WonderClubX
X
Add 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 l, Axiomatic Domain Theory in Categories of Partial Maps to your collection on WonderClub |