Redirecting to Talk:Curry-Howard correspondence