Categories for Types (Bog, Hardback, Engelsk) af Roy L. (Imperial College of Science Crole
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Algebra
  6. Regning og matematisk analyse
  7. Categories for Types

Categories for Types

(Bog, Hardback, Engelsk)
Forfatter: Roy L. (Imperial College of Science Crole
Categories for Types
Forlag: Cambridge University Press

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

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algebra Matematisk logik Regning og matematisk analyse
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Roy L. (Imperial College of Science Crole
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 27-01-1994
Første udgivelsesår 1994
Originalsprog United Kingdom
Sideantal 356
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 356 pages
Mål 236 x 156 x 25
ISBN-13 / EAN-13 9780521450928