About this title: 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's central themes is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts, which the authors call the Curry-Howard Protocol. This protocol is used to provide two novel applications ...
read more
Note: This is a general synopsis. Each listing is described below.
Description: 0387237593 You'll receive a BRAND-NEW book in perfect condition. IMMEDIATE & FAST UPS shipping. UPS does NOT deliver to PO Boxes or APO addresses, so please give us a physical address to ship to. We cannot ship this item to Alaska or Hawaii. We provide EXCEPTIONAL customer service. We're open 24/7 to serve you best. We've been selling online for over 13 years, over 3 million customers served. Please note that since this item is brand-new & direct from the publisher, it WILL include everything ... read more
Description: Good. 0387237593 Good condition. May have some markings & or shelfwear. All pages intact. Used items may not include extras such as infotrac, CD or other web access codes. read more
Description: New. 0387237593 Absolutely Brand New. No marks and in pristine condition. Used items may not include extras such as infotrac, CD or other web access codes. read more
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.