С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»

Лекции и семинары Научно-образовательного центра Математического института им. В.А. Стеклова Российской академии наук. С.Л. Кузнецов. Спецкурс «Лям...