b'
This episode begins Chapter 11 of the podcast, on Relational Type Theory.\\xa0 This is a new approach to type theory that I am developing.\\xa0 The idea is to design a type system based on the binary relational semantics for types, which we considered in Chapter 10.\\xa0 This episode recalls some of that semantics.
'