In which application is strong normalization desirable?

Language Theory

New · 0d
question
In which application is strong normalization desirable?
Hint
© 2026 Scrambled Kitchen·GitHub