» 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

QuickBuy: Click for the lowest-cost copy in very good condition or better from our most reliable sellers.
$62.97  

(new hardcover, see detail)

Order this item today and it should be delivered to any address by Wednesday, December 24.

add to wishlist

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

see all copies from $56.73!

new only from $62.97!


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.

YOU MIGHT LIKE ...
Is God a Mathematician?

Is God a Mathematician?

by Mario Livio

see all from $8.54!

new only from $8.54!

An Introduction to Formal Languages and Automata

An Introduction to Formal Languages and Automata

by Peter Linz

see all from $1.99!

new only from $59.67!

Philosophy of mathematics; selected readings.

Philosophy of mathematics; selected readings.

by Paul Benacerraf (Editor), Hilary Putnam

see all from $13.75!

new only from $30.00!

The absolute differential calculus (calculus of tensors)

The absolute differential calculus (calculus of tensors)

by Tullio Levi-Civita

see all from $24.95!

new only from $193.36!

Logic for Computer Scientists

by Schöning

see all from $8.30!

Mathematical Logic and Programming Languages

by C A R Hoare

see all from $11.50!

Quick Help

Forgot Password?

Shipping Rates

Money-Back Guarantee

Return Policy

100% Secure Shopping

Help Center

Contact Us

About Us

The Alibris Story

Social Responsibility

Why Shop Here?

Glossary

Join Affiliates

Explore

Used Books

Rare, Out-of-Print & Collectible Books

Textbooks

Used DVDs & Movies

Used CDs & Music

Browse Subjects

Browse Authors

Eligible for Free Shipping

Top Searches

Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Muze, Inc., Baker & Taylor, Inc.,
or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved.