Seminars: L. D. Beklemishev, Лекция 13. Слабо экстенсиональные лямбда-алгебры. Модель Плоткина $\mathcal{P}\omega$.

SEMINARS


L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus March 2, 2020 16:30, Steklov Mathematical Institute, room 530, 8 Gubkina St., Moscow

Лекция 13. Слабо экстенсиональные лямбда-алгебры. Модель Плоткина $\mathcal{P}\omega$. L. D. Beklemishev
https://youtu.be/Rsd1vUhOFZQ