Does each of the following concepts belong to syntax or semantics? - terms - values: terms that are possible final results of evaluation. - types - (typing) context - evaluation (rules) - typing (relation)? Here are two examples from *Types and Programming Languages* by Pierce. For example, I thought evaluation (rules) belongs to operational semantics, so values should also belong to operational semantics, by the definition of values. Why does the book list "values" under "Syntax"? [![enter image description here][1]][1] [![enter image description here][2]][2] [1]: https://i.sstatic.net/PMZ6l.png [2]: https://i.sstatic.net/9BN9O.png