What's the proper name for the evaluation function?
What do we call the (proper-class) function $$\mathrm{eval}(*,*)$$ such
that for all functions $g$ and all $x \in \mathrm{dom} \;g$ we have
$\mathrm{eval}(g,x) = g(x)$ ? I looked up 'evaluation function' but it
seems to be a concept in game theory as opposed to the concept I'm looking
for.
No comments:
Post a Comment