Лекция 10. С.Л. Кузнецов, С.О. Сперанский. Теория вычислимости и лямбда-исчисление @ SciTopus