Данная работа посвящена бестиповым функциональным программам, которые определяются как системы уравнений с отделяющимися переменными в бестиповом л-исчислении. Основеая семантика таких программобычно определяется с помощью комбинатора неподвижной точки Y.
