3 ms·Curry–Howard correspondence = direct relationship between computer programs and mathematical proofsby QuantumGood 2y agoCurry–Howard correspondence = direct relationship between computer programs and mathematical proofs