In this lecture, we study restricted lambda terms and type safe.