Udvidet returret til d. 31. januar 2025

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

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521602778
  • Indbinding:
  • Paperback
  • Sideantal:
  • 256
  • Udgivet:
  • 25. marts 2004
  • Størrelse:
  • 189x247x16 mm.
  • Vægt:
  • 488 g.
  • 8-11 hverdage.
  • 29. november 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

Brugerbedømmelser af Axiomatic Domain Theory in Categories of Partial Maps



Find lignende bøger
Bogen Axiomatic Domain Theory in Categories of Partial Maps findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.