Introducing Relational Type Theory

Published: Dec. 15, 2020, 5 a.m.

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.