Mathematical Proof/Proof and Computer Programs

From Wikibooks, open books for an open world
< Mathematical Proof
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/w/index.php?title=Mathematical_Proof/Proof_and_Computer_Programs&oldid=519126"
Personal tools
Namespaces
Variants
Actions
Navigation
Community
Toolbox
Sister projects
Print/export