Statisztika a következő hatókörre szűkítve: Normalization in the simply typed lambda mu mu' rho theta epsilon-calculus