Народ, у кого есть листки, которые нам Штукен выдавал в начале года (определение свободных, связанных переменных, бета-редекс, бета-редукция и пр., НЕ теорема Чёрча-Россера) прошу выложить. Очень нужно для подготовки билетов. P.S.: Спасибо Овику за выкладывание одного из листков. Ведётся поиск второго - алгебраический тип данных, упорядоченные пары, пример вычисления факториала через Y-комбинатор. UPD: уже не надо.
