Additionally , the strong normalization property described below implies that any evaluation strategy will terminate on all simply typed terms .
As for any typed language , type safety is a fundamental property of all of these evaluation strategies .
The strong normalization property described below implies that any evaluation strategy will terminate on all simply typed terms .
As for any typed language , type safety is a fundamental property of all of these evaluation strategies .