Welcome, Guest.Sign in for full access to IOU Digital Library's resources.

Welcome to IOU Digital Library

Refine your Search

Useful Links

Page 1 | Results on this page: 1 | Digital Books: 1 | Physical Books: 0

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

Subjects: ISBN-13:,  9780387237596

Published in: 2006

Availability: 1 of 1(eBook)

By: Iman Hafiz Poernomo ,  John Newsome Crossley ,  Martin Wirsing

Fresh Arrivals