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
Adapting Proofs-as-Programs: The Curry–Howard Protocol

Subjects: Theoretical computer science

Published in: 2005

Availability: 1 of 1(eBook)

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

Fresh Arrivals