Explore relationships

Curry-Howard

In programming language theory and proof theory, the Curry–Howard correspondence is a direct relationship between computer programs and mathematical proofs.

Use + to expand a branch. Click a topic name to open its summary.