Author: Mike ShulmanFormat: MarkdownItexAt [[positive type]] we have
> In denotational semantics, positive types behave well with respect to “call-by-value” and other eager evaluation strategies.
and dually at [[negative type]] we have
> In denotational semantics, negative types behave well with respect to “call-by-name” and other lazy evaluation strategies.
This doesn't seem right to me; don't evaluation strategies belong to *operational* semantics?

Author: Mike ShulmanFormat: MarkdownItexHmm, [this CST.SE answer](https://cstheory.stackexchange.com/a/32581/28847) suggests that maybe evaluation strategies are considered part of denotational semantics insofar as they affect the *end result* of a computation rather than the implementation details of how that result is arrived at.

Hmm, this CST.SE answer suggests that maybe evaluation strategies are considered part of denotational semantics insofar as they affect the end result of a computation rather than the implementation details of how that result is arrived at.