ConceptValenceModified just nowProperties 4Hide BooksChapter 1. Abstract syntax JourneyProgramming Language Theory Statusreviewing Tagssyntax grammarThe specification of how many variables a subterm binds and what Sorts (types) those variables have. Previous in ConceptsUnwrapNext in Concepts Valence actual parameter argument