.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
H. Simmons
€ 166.26
FREE Delivery in Ireland
Description for Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
Hardback. An introduction to simple type theory, containing 200 exercises with complete solutions. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 412 pages, 23 tables 193 exercises. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 161 x 236 x 25. Weight in Grams: 668.
Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is the production of results according to well-defined sets of rules. The two notions are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. Starting from the familiar propositional calculus the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Gödel's T, a system which codifies number-theoretic function hierarchies. Each of the ... Read more
Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is the production of results according to well-defined sets of rules. The two notions are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. Starting from the familiar propositional calculus the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Gödel's T, a system which codifies number-theoretic function hierarchies. Each of the ... Read more
Product Details
Format
Hardback
Publication date
2000
Publisher
Cambridge University Press United Kingdom
Number of pages
410
Condition
New
Series
Cambridge Tracts in Theoretical Computer Science
Number of Pages
412
Place of Publication
Cambridge, United Kingdom
ISBN
9780521771733
SKU
V9780521771733
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-1
Reviews for Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
'A well-written introduction to proof theory and its connections with computability.' Leon Harkleroad, Zentralblatt für Mathematik '… recommended for the student or researcher who's been exposed to bits and pieces of the Curry-Howard correspondence, but wants a sharper idea of the big picture and is willing to work through the exercises to see how the details fit together. Simmons has ... Read more