Mathematical Proof/Proof and Computer Programs

From Wikibooks, open books for an open world
< Mathematical Proof
Jump to: navigation, search

== The Curry-Howard Correspondance ==

The Curry-Howard correspondence establish a close relationship between computer programs and mathematical proofs.