Definition. Compositionality, computability, and complexity › Semantic functions (§ 2.2) [pagin2021-semantic-function]

Where $GT{A}_L$ is a grammatical term algebra and $M$ is a domain of meanings, any $\mu :G{T}_L\to M$ is a semantic function.