Лекция 6. С.Л. Кузнецов. Алгоритм выведения наиболее общего типа в системе Карри