Conversely , every simply typed lambda calculus gives a CCC whose objects are the types .
Morphisms are equivalence classes of terms .
Conversely , every simply typed lambda calculus gives a CCC whose objects are the types , and morphisms are equivalence classes of terms .