Это действительно зависит от того, что вы хотите сделать с лямбда-исчислением.Если вы хотите изучить его, просто чтобы посмотреть, как он работает, на самом деле нет никаких предварительных условий;это довольно автономно.Однако, если вы хотите понять какие-либо доказательства об этом (полнота по Тьюрингу, церковные цифры, нормализация и т. Д.), Вам может понадобиться больше математических заданий.В частности, я бы предложил опыт работы с методами индуктивного доказательства, особенно со структурной индукцией.Также было бы неплохо немного узнать либо о проблеме остановки, либо о некоторой теореме о неполноте, поскольку некоторые из забавных результатов с использованием лямбда-исчисления включают невычислимость.