Categories for Types

- Crole, R: Categories for Types

af


Categories for Types
Du sparer Spar kr. 30,00 med Saxo Premium
  • Leveringstid 2-3 uger
  • Forventet levering 23-04-2020
Hvis du køber til medlemspris, bliver du automatisk medlem af Saxo Premium. De første 30 dage er gratis, derefter koster det 99,-/md. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om alle fordelene her.
Format:
Bog, hardback
Udgivelsesdato:
27-01-1994
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

Andre udgaver:

Bog, paperback

Vis mereVis mindre

Udgivelsesdato:
27-01-1994
ISBN13:
9780521450928
Vægt:
642 g
Dybde:
25 mm
Bredde:
156 mm
Højde:
236 mm
Format:
Hardback
Forfattere
Bibliotekernes beskrivelse This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.

Vis mereVis mindre

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Se andre bøger, der handler om

Velkommen til Saxo - din danske boghandel!

Hos os kan du handle som Gæst, Saxo-bruger eller Saxo Premium-medlem. Du bestemmer selv, og vores kundeservice sidder altid klar med hjælp.

Om medlemspriser hos Saxo

Hvis du køber til medlemspris, bliver du automatisk medlem og får del i de mange fede fordele. De første 30 dage er gratis for nye brugere, og derefter koster det kun 99,-/md. Medlemskabet fornyes automatisk, og du kan altid opsige det. Læs mere om fordelene ved Saxo Premium her.

Machine Name: SAXO031