Semantic values in higher-order semantics