Adapting Proofs-as-ProgramsIman Hafiz Poernomo, John N. Crossley, Martin Wirsing · First published 2005Open the Tome