ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Sun 11 Sep 2022 16:00 - 16:18 at Club CD - Zena's Birthday 2 Chair(s): Marco Gaboardi

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

16:00 - 17:30
Zena's Birthday 2TyDe at Club CD
Chair(s): Marco Gaboardi Boston University
16:00
18m
Talk
A Computational Interpretation of Girard's Intuitionistic Proof-Nets
TyDe
Delia Kesner Université de Paris; CNRS; IRIF; Institut Universitaire de France
16:18
18m
Talk
Duality of intersection and union types - where and how?
TyDe
Silvia Ghilezan University of Novi Sad, Mathematical Institute SASA
16:36
18m
Talk
Mu tilde (re)cycled
TyDe
Pierre-Louis Curien Univ. Paris Diderot and INRIA Paris-Rocquencourt
16:54
18m
Talk
OPLSS over twenty years (online)
TyDe
Robert Harper Carnegie Mellon University
17:12
18m
Talk
Happy Birthday, Zena!
TyDe