Chapter 11: Relational Type Theory
In this chapter I discuss a new approach to type theory I am calling Relational Type Theory. The idea is to design a type system based on the binary relational semantics of types we have considered in Chapter 10.