Skip to main content
PBS logo
 
 

Search - Derivation and Computation : Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science)

Derivation and Computation : Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science)
Derivation and Computation Taking the CurryHoward correspondence seriously - Cambridge Tracts in Theoretical Computer Science
Author: H. Simmons
The two notions of proofs and calculations are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. This volume explores this key relationship and introduces simple type theory. Starting from the familiar propositional calculus, the author develops the central idea of an applie...  more »
ISBN-13: 9780521771733
ISBN-10: 0521771730
Publication Date: 6/12/2000
Pages: 410
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.