Structural Rules and Algebraic Properties of Intersection Types
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
Overview
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.
Syllabus
Sandra Alves: Structural Rules and Algebraic Properties of Intersection Types
Taught by
Hausdorff Center for Mathematics
Related Courses
Programming Languages ⅠKorea Advanced Institute of Science and Technology via Coursera Meaning Representation for Natural Language Understanding - Mariana Romanyshyn - ODSC Europe 2019
Open Data Science via YouTube Propositions as Types
Strange Loop Conference via YouTube The Road to Akka Cluster, and Beyond
Strange Loop Conference via YouTube Making a Computer Turing Complete
Ben Eater via YouTube