Concept

Curry–Howard correspondence