Book creator (disable)

Mathematical Proof/Proof and Computer Programs

From Wikibooks, the open-content textbooks collection

Jump to: navigation, search

== The Curry-Howard Correspondance ==

Wikipedia-logo.png

Wikipedia has related information at
Curry-Howard correspondence


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

Retrieved from "http://en.wikibooks.org/wiki/Mathematical_Proof/Proof_and_Computer_Programs"