Chapter 6: Lambda Encodings

In this chapter we discuss lambda encodings of data, which are schemes for representing inductive (or coinductive) data as functions.