1. Формальна математична система та обчислювальна модель, заснована на поняттях функції, застосування функції та абстракції (оголошення функції), що є фундаментом для теорії обчислюваності та функціональних мов програмування.
2. Теорія, що вивчає обчислення з використанням лямбда-виразів (ананімних функцій), де основною операцією є підстановка, а також еквівалентність та спрощення (редукція) таких виразів.