All the systems mentioned so far, with the exception of the untyped lambda calculus, are strongly normalizing: all computations terminate.
Svi sustavi dosad spomenuti, sa iznimkom netipiziranog lambda računa, su strogo normalizirajući: sva računanja terminiraju.