Roy L. (Imperial College of Science Crole Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  810,- kr

  FRAGT FRA 39,-

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Categories for Types (Bog, Paperback / softback, Engelsk)

  Af: Roy L. (Imperial College of Science Crole

  This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.

  PRIS

  810,- kr

  FRAGT FRA 39,-

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Læg i kurv
• 

  PRIS

  1.534,- kr

  FRAGTFRI LEVERING

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Categories for Types (Bog, Hardback, Engelsk)

  Af: Roy L. (Imperial College of Science Crole

  This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.

  PRIS

  1.534,- kr

  FRAGTFRI LEVERING

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Læg i kurv