reduction program

Редукционная программа (в функциональном программировании)