Axiomatic Domain Theory in Categories of Partial Maps
Author | : Marcelo P. Fiore |
Publisher | : Cambridge University Press |
Total Pages | : 260 |
Release | : 2004-03-25 |
ISBN-10 | : 0521602777 |
ISBN-13 | : 9780521602778 |
Rating | : 4/5 (778 Downloads) |
Download or read book Axiomatic Domain Theory in Categories of Partial Maps written by Marcelo P. Fiore and published by Cambridge University Press. This book was released on 2004-03-25 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: First systematic account of axiomatic categorical domain theory and functional programming.