Universität Bonn

About the Institute
Proposals
Programs
For Guests
Outreach
Events
HCM
Bonn Mathematics

You are here:

HIM
Video Recordings
Women in Formal Math
YouTube_Video
Sandra Alves: Structural Rules and Algebraic Properties of Intersection Types

Sandra Alves: Structural Rules and Algebraic Properties of Intersection Types

External Video-URL

https://youtu.be/RYzqSHyVbMw

Preview-Image

Wird geladen

Bonn Mathematics | To Main Portal

Imprint Data protection policy