Mathematical Proof/Proof and Computer Programs

== The Curry-Howard Correspondance ==

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

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.