Sign up to save your podcasts
Or
Share The Semantics of Relational Types
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
The Semantics of Relational Types
In this episode, I discuss the semantics of the proposed six type constructors of RelTT.
View all episodes
By Aaron Stump
5
1616 ratings
In this episode, I discuss the semantics of the proposed six type constructors of RelTT.