English Curry–Howard correspondence Cited by user Ploni on 29 Oct 2023 In programming language theory and proof theory, the Curry–Howard correspondence (also known as the Curry–Howard isomorphism or equivalence, or the proofs-as-programs…