Лекция 3. Просто типизированное лямбда-исчисление

Вторник, 22 февраля 2022
Онлайн, занятие в zoom