Examples in Relational Type Theory
I discuss how to define internalized relational typings, implicit products, and two forms of natural number types, in RelTT.
Iowa Type Theory Commute
en-usDecember 23, 2020
Explore " natural number types" with insightful episodes like and "Examples in Relational Type Theory" from podcasts like " and "Iowa Type Theory Commute"" and more!
I discuss how to define internalized relational typings, implicit products, and two forms of natural number types, in RelTT.
Stay up to date
For any inquiries, please email us at hello@podcastworld.io