Redirecting to Curry-Howard correspondence