Axiomatic Domain Theory in Categories of Partial Maps
(Part of the Distinguished Dissertations in Computer Science Series)
No Customer Reviews
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 (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example,...
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"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
