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

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