Conversely , every simply typed lambda calculus gives a CCC whose objects are the types , and morphisms are equivalence classes of terms .
Given any specific CCC , the basic types of the corresponding lambda calculus are just the objects , and the terms are the morphisms .
Every simply typed lambda calculus gives a CCC whose objects are the types , and morphisms are equivalence classes of terms .
Given any specific CCC , the basic types of the corresponding lambda calculus are just the objects , and the terms are the morphisms .