Proofs as Programs

Joseph L. Bates, Robert L. Constable. Proofs as Programs. ACM Transactions on Programming Languages and Systems, 7(1):113-136, 1985. [doi]

Abstract

Abstract is missing.