Последние добавленные видео:
orcid:0000-0001-8762-8674
-
![[POPL'24] Higher Order Bayesian Networks, Exactly](https://i.ytimg.com/vi/ESfLesM315A/mqdefault.jpg)
11 месяцев назад
53 11 месяцев назад 15:50[POPL'24] Higher Order Bayesian Networks, Exactly
-
![[ICFP'22] Multi Types and Reasonable Space](https://i.ytimg.com/vi/N_kC2jlJeU4/mqdefault.jpg)
2 года назад
395 2 года назад 17:52[ICFP'22] Multi Types and Reasonable Space