Curry-Howard isomorphism

Redirect to:

• Curry–Howard correspondence