fixpoint?
Мне помогло разворачивать термы редукцией на бумажке
рекурсия — это же базовое понятие, не могу представить себе туториал
лучше задавайте свои вопросы здесь
Лекции Москвина https://compsciclub.ru/courses/systemsoftypedlambdacalculi/2011-spring/
Обсуждают сегодня