Chapter 10: Logical Relations and Parametricity

In this chapter we discuss logical relations and parametricity, important methods for giving semantics to types.