New & used books and rare & out-of-print booksNew & used DVDs, VHS tapes, and hard-to-find moviesNew & used CDs, cassettes, and hard-to-find music
Alibris for Libraries Are you a bookseller?
» advanced search
subscribe & win

Sign up for our newsletter and enter to win FREE books.

your e-mail address Send!

BOOKS by Iman Hafiz Poernomo

Sometimes it pays off to expand your search to view all available copies of items matching your search terms.

Page 1 of 1   change currency
sort by

1

Adapting Proofs-As-Programs: The Curry--Howard Protocol

Adapting Proofs-As-Programs: The Curry--Howard Protocol more books like this

by 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 booka ...

see all copies from $62.37!

new only from $64.76!


Page 1 of 1

 

Our Money-Back Guarantee

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.