Curry-Howard
Redirect to:
Curry–Howard correspondence