Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

av Morten Heine Sørensen

del av Studies in Logic and the Foundations of Mathematics-serien

Lectures on the Curry-Howard Isomorphism av Morten Heine Sørensen
Om Lectures on the Curry-Howard Isomorphism

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related aspects of type theory relevant for the isomorphism.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780444520777
  • Format:
  • Inbunden
  • Sidor:
  • 456
  • Utgiven:
  • 4. juli 2006
  • Mått:
  • 163x240x30 mm.
  • Vikt:
  • 866 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 4. april 2025

Om Morten Heine Sørensen

Se alla böcker av Morten Heine Sørensen

Beskrivning av Lectures on the Curry-Howard Isomorphism

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related aspects of type theory relevant for the isomorphism.

Användarnas betyg av Lectures on the Curry-Howard Isomorphism



Andra köpte även...
Hitta liknande böcker
Boken Lectures on the Curry-Howard Isomorphism finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.