Category:Definitions/Interpretations
Jump to navigation
Jump to search
This category contains definitions related to Interpretations.
Related results can be found in Category:Interpretations.
Let $S$ be the codomain of a mapping $f$ whose domain consists of the set of expressions of a formal language $\FF$.
Then $S$ together with $f$ are known as an interpretation.
Pages in category "Definitions/Interpretations"
The following 5 pages are in this category, out of 5 total.