Последние добавленные видео:
OPLSS
-
10 лет назад
302 10 лет назад 1:30:51Robert Constable Lecture 2, OPLSS 2015
-
5 месяцев назад
27 5 месяцев назад 33:26OPLSS 2025 – Valeria De Paiva – Lambda-Calculi for Logics – Lecture 1: Part 1
-
10 лет назад
1387 10 лет назад 1:32:04Amal Ahmed Lecture 1 - OPLSS 2015
-
8 лет назад
Linear and Dependent Types 1 - Neel Krishnaswami - OPLSS 2017
Introduction ...
4084 8 лет назад 1:26:25 -
1 год назад
148 1 год назад 1:21:10OPLSS'24: Stephen Chong [1/4]
-
1 год назад
93 1 год назад 1:16:46OPLSS'24: Steven Holtzen [4/4]
-
1 год назад
56 1 год назад 1:21:36OPLSS'24: Stephen Chong [3/4]
-
5 месяцев назад
17 5 месяцев назад 33:26OPLSS 2025 – Emina Torlak – Cedar: A New Language... – Lecture 1: Part 1