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