Секвенциальные системы λ-конверсии и комбинаторной логикитезисы доклада