== The Curry-Howard Correspondance ==

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

This page may need to be reviewed for quality.

== The Curry-Howard Correspondance ==

Wikipedia has related information at |

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

## Wikibooks

^{®}- Mobile
- Desktop

- Content is available under CC BY-SA 3.0 unless otherwise noted.