Introduction to Intersection Types
Iowa Type Theory Commute
English - February 09, 2021 05:00 - 11 minutes - 8.08 MB - ★★★★★ - 13 ratingsTechnology Science Mathematics programming languages computational logic type theory proof assistants cedille Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Deriving disjointness of constructor ranges in RelTT
Next Episode: Intersection Types Preserved Under Beta-Expansion
In a type system with intersection types, a term t that has type A and also has type B can be assigned the type 'A intersect B'. This episode begins Chapter 12 of the podcast on intersection types.