Intersection types using Curry-style typing
Intersection types internalize the idea that a term has two types. Curry-style typing is generally needed for this to be nontrivial.
Iowa Type Theory Commute
en-usFebruary 04, 2020
Explore " curry-style typing" with insightful episodes like and "Intersection types using Curry-style typing" from podcasts like " and "Iowa Type Theory Commute"" and more!
Intersection types internalize the idea that a term has two types. Curry-style typing is generally needed for this to be nontrivial.
Stay up to date
For any inquiries, please email us at hello@podcastworld.io