Seminars: S. L. Kuznetsov, Лекция 4. Свойство Чeрча - Россера (окончание). Типовое лямбда исчисление: типизации по Чeрчу и по Карри

Seminars

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

Лекция 4. Свойство Чёрча - Россера (окончание). Типовое лямбда исчисление: типизации по Чёрчу и по Карри

S. L. Kuznetsov