BookPart i judgments and rulesModified just nowProperties 3Hide ChildrenChapter 1. Abstract syntax JourneyProgramming Language Theory ParentPractical foundations for programming languages Previous in Practical foundations for programming languagesChapter 1 abstract syntaxNext in Practical foundations for programming languages Preface