Derivation and Computation

Taking the Curry-Howard Correspondence Seriously Engelstalig

H. (University of Manchester) Simmons

Beoordeel dit boek

Derivation and Computation - H. (University of Manchester) Simmons 1

Derivation and Computation - H. (University of Manchester) Simmons 2

Hardback

Nieuw vanaf 161,49

Koop Tweedehands

Niet tweedehands beschikbaar.

Koop NieuwWeb only

Centraal Magazijn

Adviesprijs 179,05 161,49

De 'adviesprijs' is de prijs die door de fabrikant of leverancier wordt aanbevolen. DeSlegte.com toont deze prijs enkel als referentiekader, zodat je het prijsverschil eenvoudig kunt vergelijken.

Verwachte levertijd: 2-3 weken

Omschrijving

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.