Marknadens största urval
Snabb leverans

Axiomatic Domain Theory in Categories of Partial Maps

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: 27. januari 2025
Förlängd ångerrätt till 31. januari 2025
  •  

    Kan ej levereras före jul.
    Köp nu och skriv ut ett presentkort

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



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.