Norges billigste bøker

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521602778
  • Bindende:
  • Paperback
  • Sider:
  • 256
  • Utgitt:
  • 25. mars 2004
  • Dimensjoner:
  • 189x247x16 mm.
  • Vekt:
  • 488 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. januar 2025
Utvidet returrett til 31. januar 2025
  •  

    Kan ikke leveres før jul.
    Kjøp nå og skriv ut et gavebevis

Beskrivelse 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.

Brukervurderinger av Axiomatic Domain Theory in Categories of Partial Maps



Finn lignende bøker
Boken Axiomatic Domain Theory in Categories of Partial Maps finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.