ConceptStructuralModified just nowProperties 3Hide BooksChapter 3. Hypothetical and general judgments JourneyProgramming Language Theory Statuslearning Previous in ConceptsStrong normalizationNext in Concepts Structural abstract syntax