ConceptStrong normalizationModified just nowProperties 4Hide BooksChapter 5. Types JourneyProgramming Language Theory Statusreviewing Tagslanguage-feature-designsemanticsThe property of a language written in which every program always terminates. Previous in ConceptsString internerNext in Concepts Structural