ConceptSyntactic categoryModified just nowProperties 4Hide BooksChapter 3. Untyped arithmetic expressionsChapter 1. Abstract syntax JourneyProgramming Language Theory Statusreviewing Tagslambda calculussyntax grammarINFO(Syntax & Grammar) According to Practical foundations for programming languages, largely analogous with Sort. Roughly means "syntactic type". Previous in ConceptsSyntactic abstractionNext in Concepts Syntactic sugar