Семинары: Л. Д. Беклемишев, С. Л. Кузнецов, Лекция 11. Модели лямбда-исчисления

СЕМИНАРЫ


Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 10 февраля 2020 г. 16:30, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)

Лекция 11. Модели лямбда-исчисления Л. Д. Беклемишев, С. Л. Кузнецов
https://youtu.be/ygGGmQ3HSQQ Аннотация: Алгебры, тождества, многообразия, эквациональные теории.