Axiomatic Domain Theory in Categories of Partial Maps - Distinguished Dissertations in Computer Science - Fiore, Marcelo P. (University of Edinburgh) - Books - Cambridge University Press - 9780521602778 - March 25, 2004
In case cover and title do not match, the title is correct

Fiore, Marcelo P. (University of Edinburgh)
Axiomatic Domain Theory in Categories of Partial Maps - Distinguished Dissertations in Computer Science

Price
$ 61.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 5 - 17

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 (abstract) setting. It includes an introduction to enriched category theory.

256 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 25, 2004
ISBN13 9780521602778
Publishers Cambridge University Press
Pages 256
Dimensions 189 × 247 × 16 mm   ·   488 g
Language English  

Mere med samme udgiver

See all of Fiore, Marcelo P. (University of Edinburgh) ( e.g. Paperback Book )