equivalentexchange.blog
The Curry-Howard Correspondence
The Curry-Howard Correspondence reveals a close correspondence between the constituents of Logic and of Programming. Also known as the Formulas as Types and the Proofs as Programs interpretations. …