Structural Rules and Algebraic Properties of Intersection Types

Explore the intricacies of intersection types in this 56-minute lecture by Sandra Alves from the Hausdorff Center for Mathematics. Delve into the structural rules governing intersection types and examine their algebraic properties. Gain insights into the mathematical foundations and applications of this concept, enhancing your understanding of type theory and its implications in computer science and mathematics.