Skip to main content
PBS logo
 
 

Search - Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Adapting ProofsasPrograms The CurryHoward Protocol - Monographs in Computer Science
Author: Iman Poernomo, John N. Crossley, Martin Wirsing
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framewor...  more »
ISBN-13: 9781441920140
ISBN-10: 1441920145
Publication Date: 11/2/2010
Pages: 420
Edition: 1st Edition.
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Other Versions: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



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.