Axiomatic Domain Theory in Categories of Partial Maps

by Marcelo P. Fiore

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0521602777
• ISBN13: 9780521602778
• Release Date: March 2004
• Publisher: Cambridge University Press
• Length: 256 Pages
• Weight: 1.02 lbs.
• Dimensions: 0.5" x 7.4" x 9.7"