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.
]]>At 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?
]]>