In this lecture, we will continue studying Curry-Howard correspondence.