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 Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art overview of the field and detailing tools and techniques to stimulate further research. One of the book?...  more »
ISBN-13: 9780387237596
ISBN-10: 0387237593
Publication Date: 6/21/2005
Pages: 420
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Other Versions: Paperback
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.