Adpating Proofs-As-Programs The Curry-Howard Protocol – Poernomo, Crossley, and Wirsing