Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Lectures on the Curry-Howard Isomorphism
- Bindende:
- Hardback
- Sider:
- 456
- Utgitt:
- 4. juli 2006
- Dimensjoner:
- 163x240x30 mm.
- Vekt:
- 866 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 16. mai 2025
Beskrivelse 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.
Brukervurderinger av Lectures on the Curry-Howard Isomorphism
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Lectures on the Curry-Howard Isomorphism finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2025 Tales.no
