Adapting Proofs-as-Programs - sidottu, Englanti, 2005