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== 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