~/Curry-Howard Correspondence

Same as Q975734, the direct relationship between computer programs and mathematical proofs.