YoVDO

Structural Rules and Algebraic Properties of Intersection Types

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Type Theory Courses Proof Theory Courses Algebraic Properties Courses Lambda Calculus Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Language, Proof and Logic
Stanford University via edX Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube Topics in Pure Model Theory - Lecture 10
Fields Institute via YouTube David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube