Axiomatic Domain Theory in Categories of Partial Maps 1

Data & IT

Axiomatic Domain Theory in Categories of Partial Maps

Marcelo P Fiore • Marcelo P Fiore

Pocket

679:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

256 sidor
2004

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.

Författare: Marcelo P Fiore, Marcelo P Fiore
Format: Pocket/Paperback
ISBN: 9780521602778
Språk: Engelska
Antal sidor: 256
Utgivningsdatum: 2004-03-25
Förlag: Cambridge University Press