Title: Adapting Proofs-as-Programs
Subjects: Proof theory, Logic, symbolic and mathematical