Curry–Howard isomorphism

Redirect to:

• Curry–Howard correspondence