Propositions as types principle

Redirect to:

• Curry–Howard correspondence