Axiomatic Domain Theory in Categories of Partial Maps (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Analytisk topologi
  5. Axiomatic Domain Theory in Categories of Partial Maps

Axiomatic Domain Theory in Categories of Partial Maps

(Bog, Paperback / softback, Engelsk)
Forfatter: Marcelo P. (University of Edinburgh) Fiore
Axiomatic Domain Theory in Categories of Partial Maps
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Analytisk topologi
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Marcelo P. (University of Edinburgh) Fiore
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 25-03-2004
Første udgivelsesår 2004
Serie Distinguished Dissertations in Computer Science
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 256
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 256 pages, Worked examples or Exercises
Mål 247 x 189 x 16
ISBN-13 / EAN-13 9780521602778