The results you refer to are probably Curry-Howard correspondence, and Curry-Howard-Lambek correspondence.