Curry Howard isomorphism

Redirect to:

• Curry–Howard correspondence