Описание для «[Sum24] Lambda-Calculus, Algebra, Machinery and Logic for Formal Program Semantics / Лямбда-исчисление, алгебра, абстрактные машины и логика для формальной семантики программ» | IU Moodle

IU Moodle

В начало Course search

[Sum24] Lambda-Calculus, Algebra, Machinery and Logic for Formal Program Semantics / Лямбда-исчисление, алгебра, абстрактные машины и логика для формальной семантики программ

Primary Instructor: Николай Шилов