Given any specific CCC and the terms are the morphisms .
Any specific CCC is the basic types of the corresponding lambda calculus are just the objects .
Given any specific CCC , the basic types of the corresponding lambda calculus are just the objects , and the terms are the morphisms .