Categories for Types - Crole, Roy L. (Imperial College of Science, Technology and Medicine, London) - Bøker - Cambridge University Press - 9780521457019 - 27. januar 1994
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Categories for Types

Crole, Roy L. (Imperial College of Science, Technology and Medicine, London)

Pris
NOK 1.109

Bestillingsvarer

Forventes levert 17. - 26. nov
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

Categories for Types

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

356 pages, several line drawings

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 27. januar 1994
ISBN13 9780521457019
Utgivere Cambridge University Press
Antall sider 356
Mål 229 × 152 × 26 mm   ·   580 g
Språk Engelsk  

Se alt med Crole, Roy L. (Imperial College of Science, Technology and Medicine, London) ( f.eks. Innbunden bok og Pocketbok )