Adapting Proofs-As-Programs

Name: Adapting Proofs-As-Programs: The Curry--Howard Protocol
Brand: Springer
SKU: 9780387237596
Price: 4706.00 INR
Availability: InStock

The Curry--Howard Protocol

by Iman Poernomo, John N. Crossley, Martin Wirsing

Springer

₹4,706

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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 book's central themes is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts.

Description supplied by the publisher.