Propositions-as-types

Redirect to:

• Curry–Howard correspondence