In this episode, I discuss the semantics of the proposed six type constructors of RelTT.
See All 179 Episodes of "Iowa Type Theory Commute"