RUS  ENG
Full version
SEMINARS
Colloquium of the Faculty of Computer Science
February 12, 2019 18:10, Moscow

Линейная логика и функциональное программирование

S. L. Kuznetsov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


https://www.youtube.com/watch?v=QODJ8xymY0o

© Steklov Math. Inst. of RAS, 2024