Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematikkens fundament
  5. Matematisk datateori
  6. Derivation and Computation: Taking the Curry-Howard...

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

(Bog, Hardback, Engelsk)
Forfatter: H. (University of Manchester) Simmons
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
Forlag: Cambridge University Press

Bemærk: Kan 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

Matematikkens fundament Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter H. (University of Manchester) Simmons
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 18-05-2000
Første udgivelsesår 2000
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer Worked examples or Exercises; 23 Tables, unspecified
Originalsprog United Kingdom
Sideantal 412
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 412 pages, Worked examples or Exercises; 23 Tables, unspecified
Mål 161 x 236 x 25
ISBN-13 / EAN-13 9780521771733