Adapting proof-as-programs : the Curry-Howard protocol - Poernomo, Iman Hafiz, 1976- (Monographs in computer science, 2005)