Terms for subject Information technology containing program reduction

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