Лекция №11. Л.Д. Беклемишев. Модели лямбда-исчисления