Functional Programming

1 article

• The Curry-Howard Correspondence: Linking Programs and Proofs4 min read

  The Curry-Howard correspondence, sometimes called the Curry-Howard isomorphism, establishes a deep equivalence between two apparently distinct domains: formal logic and type theory. The term isomorphi...