Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Axiomatic Domain Theory in Categories of Partial Maps

Axiomatic Domain Theory in Categories of Partial Maps

av Marcelo P. (University of Edinburgh) Fiore

del av Distinguished Dissertations in Computer Science-serien

Axiomatic Domain Theory in Categories of Partial Maps av Marcelo P. (University of Edinburgh) Fiore
Om Axiomatic Domain Theory in Categories of Partial Maps

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521602778
  • Format:
  • Häftad
  • Sidor:
  • 256
  • Utgiven:
  • 25 Mars 2004
  • Mått:
  • 189x247x16 mm.
  • Vikt:
  • 488 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17 Juli 2024

Om Marcelo P. (University of Edinburgh) Fiore

Se alla böcker av Marcelo P. (University of Edinburgh) Fiore

Beskrivning av Axiomatic Domain Theory in Categories of Partial Maps

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.

Användarnas betyg av Axiomatic Domain Theory in Categories of Partial Maps



Andra köpte även...
Hitta liknande böcker
Boken Axiomatic Domain Theory in Categories of Partial Maps finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.