Лямбда-нотация и лямбда-исчисление

• Лямбда-нотация
• Формальные системы
• Лямбда-исчисление как формальная система
• Экcтенсиональность
• Редукция и равенство
• Стратегии редукции
• Комбинаторы
• Композиция
• Лямбда-вычислимость
• Лямбда-определимость числовых функций