Lambda Calculus
November 8, 2022 16:25, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom