Special course "Lambda calculus, or computational proof theory", 2015

SEMINARS

Special course "Lambda calculus, or computational proof theory", 2015
February 18–May 13, 2015, Steklov Mathematical Institute, Room 313 (8 Gubkina), Moscow

RSS: Forthcoming seminars

Organizer
Kuznetsov Stepan Lvovich

Organizations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Special course "Lambda calculus, or computational proof theory", 2015, Moscow, February 18–May 13, 2015

Лямбда-исчисление, или вычислительная теория доказательств. Лекция 12 S. L. Kuznetsov May 13, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 11 S. L. Kuznetsov April 29, 2015 18:05 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 10 D. S. Shamkanov April 22, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 9 F. N. Pakhomov April 15, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 8 S. L. Kuznetsov April 8, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 7 S. L. Kuznetsov April 1, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 6 S. L. Kuznetsov March 25, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 5 S. L. Kuznetsov March 18, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 4 S. L. Kuznetsov March 11, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 3 S. L. Kuznetsov March 4, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 2 S. L. Kuznetsov February 25, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
Lambda calculus, or computational proof theory. Lecture 1 S. L. Kuznetsov February 18, 2015 18:00 Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)