From Program Equivalences to Program Metrics - Ugo Dal Lago [2/4]
1:28:13
From Program Equivalences to Program Metrics - Ugo Dal Lago [3/4]
1:19:26
From Program Equivalences to Program Metrics - Ugo Dal Lago [1/4]
1:16:17
Session-Typed Concurrent Programming - Stephanie Balzer [4/4]
1:16:39
Kleene Algebras and Applications - Alexandra Silva [4/4]
1:21:36
From Program Equivalences to Program Metrics - Ugo Dal Lago [4/4]
1:21:53
Session-Typed Concurrent Programming - Stephanie Balzer [3/4]
24:52
What if all the world's biggest problems have the same solution?
2:21:46