Marcelo P. Fiore – författare

Visar alla böcker från författaren Marcelo P. Fiore. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Axiomatic Domain Theory in Categories of Partial Maps

   Av Marcelo P. Fiore

   Häftad, 2004

   716 kr

   Lägg i varukorg

   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 (i.e. abstract) …