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 (77 Downloads) |
Book Synopsis Axiomatic Domain Theory in Categories of Partial Maps by : Marcelo P. Fiore
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.