Mathematical Proof/Proof and Computer Programs

== The Curry-Howard Correspondance ==

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

Last modified on 12 July 2006, at 07:37