ABSTRACT
In the previous chapters, we looked at properties of CL as a formal system. The results that we mentioned can be obtained about CL without assigning a “meaning” to the CL-terms. Indeed, we have not given a precise interpretation for CL-terms, though we often alluded to the informal idea that they all stand for functions.
